Actually run Valgrind tests.

diff --git a/.github/configs b/.github/configs
index 404ee7e8e5f68aea6f96453bcb8e649c121e2d63..f5b6efe928a3ff2b72275f9a4dc37127c102fed7 100755 (executable)
--- 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"