diff options
Diffstat (limited to 'scripts/build_and_run_tests.sh')
| -rwxr-xr-x | scripts/build_and_run_tests.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/scripts/build_and_run_tests.sh b/scripts/build_and_run_tests.sh deleted file mode 100755 index 43d32c1..0000000 --- a/scripts/build_and_run_tests.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/sh - -set -e -x - -cmake .. -DCMAKE_BUILD_TYPE=Debug $@ -make -j$(nproc) biboumi test_suite -make -j$(nproc) check -make -j$(nproc) coverage |