diff options
| author | Darren Tucker <dtucker@dtucker.net> | 2021-02-19 10:20:17 +1100 |
|---|---|---|
| committer | Darren Tucker <dtucker@dtucker.net> | 2021-02-19 10:20:17 +1100 |
| commit | e9f6d563c06886b277c6b9abafa99fa80726dc48 (patch) | |
| tree | 0201e4ed8b6857331b386e303620a20cf09973c3 | |
| parent | 41d232e226624f1a81c17091c36b44c9010aae62 (diff) | |
Actually run Valgrind tests.
| -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" |