diff options
-rwxr-xr-x | .github/configs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/configs b/.github/configs index 404ee7e8..f5b6efe9 100755 --- a/.github/configs +++ b/.github/configs @@ -56,7 +56,7 @@ case "$config" in TEST_TARGET=t-exec ;; valgrind) - TEST_TARGET=USE_VALGRIND=1 + TEST_TARGET="tests USE_VALGRIND=1" ;; *) echo "Unknown configuration $config" |