1-build.sh (706B)
1 #!/bin/bash 2 set -exuo pipefail 3 4 # --enable-coverage adds -fprofile-arcs -ftest-coverage. Optimisation is 5 # turned off and debug info on so that the line attribution in the report 6 # is meaningful. 7 # 8 # Heavy tests are enabled because the interesting question this report 9 # answers is "which parts of the parser does the *whole* suite never 10 # reach" - and src/testzzuf is a large part of that suite. Sanitizers 11 # are deliberately NOT enabled here: they change the code that is 12 # generated and slow the run down, and the coverage numbers are what this 13 # job is for. 14 15 ./bootstrap 16 ./configure CFLAGS="-ggdb -O0" \ 17 --enable-coverage \ 18 --enable-asserts \ 19 --enable-heavy-tests=basic 20 make -j"$(nproc)"