diff options
author | Christian Grothoff <christian@grothoff.org> | 2024-04-01 12:44:10 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2024-04-01 12:44:10 +0200 |
commit | 2805413486701578c642a24faa1a0c698f8f3bd5 (patch) | |
tree | 3b6e545f54ca98c5a9b165f21f100331b5992f14 /contrib/ci | |
parent | 4b3c21a36e5220be99fd990e005dc452ef4dbbe0 (diff) |
actually fail tests on error
Diffstat (limited to 'contrib/ci')
-rwxr-xr-x | contrib/ci/jobs/2-test/test.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/ci/jobs/2-test/test.sh b/contrib/ci/jobs/2-test/test.sh index 8ef4c1d92..a0002f226 100755 --- a/contrib/ci/jobs/2-test/test.sh +++ b/contrib/ci/jobs/2-test/test.sh @@ -14,6 +14,7 @@ make clean make -j$(( $nump / 2 )) cd src/templating/ ./run-original-tests.sh +make clean cd - make -j$(( $nump / 2 )) make install |