diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/build_and_run_tests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build_and_run_tests.sh b/scripts/build_and_run_tests.sh index 69a27fd..738ef52 100755 --- a/scripts/build_and_run_tests.sh +++ b/scripts/build_and_run_tests.sh @@ -4,4 +4,4 @@ set -e -x cmake .. $@ make -j$(nproc) biboumi test_suite -./test_suite +make -j$(nproc) check |