diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/build_and_run_tests.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/build_and_run_tests.sh b/scripts/build_and_run_tests.sh index 738ef52..43d32c1 100755 --- a/scripts/build_and_run_tests.sh +++ b/scripts/build_and_run_tests.sh @@ -2,6 +2,7 @@ set -e -x -cmake .. $@ +cmake .. -DCMAKE_BUILD_TYPE=Debug $@ make -j$(nproc) biboumi test_suite make -j$(nproc) check +make -j$(nproc) coverage |