15 - CODECOV_TOKEN="040ce7eb-5bc7-4040-8324-364f3ef4baa3"
16 - CFLAGS="-coverage -DBC_RAND_BUILTIN=0"
18 - CONFIGURE_ARGS=-fHNPOg GEN_HOST=1 LONG_BIT=64
19 - CONFIGURE_ARGS=-bfHNPOg GEN_HOST=1 LONG_BIT=64
20 - CONFIGURE_ARGS=-dfHNPOg GEN_HOST=1 LONG_BIT=64
21 - CONFIGURE_ARGS=-fEHNPOg GEN_HOST=1 LONG_BIT=64
22 - CONFIGURE_ARGS=-bfEHNPOg GEN_HOST=1 LONG_BIT=64
23 - CONFIGURE_ARGS=-dfEHNPOg GEN_HOST=1 LONG_BIT=64
24 - CONFIGURE_ARGS=-fHNPOg GEN_HOST=1 LONG_BIT=32
25 - CONFIGURE_ARGS=-bfHNPOg GEN_HOST=1 LONG_BIT=32
26 - CONFIGURE_ARGS=-dfHNPOg GEN_HOST=1 LONG_BIT=32
27 - CONFIGURE_ARGS=-fEHNPOg GEN_HOST=1 LONG_BIT=32
28 - CONFIGURE_ARGS=-bfEHNPOg GEN_HOST=1 LONG_BIT=32
29 - CONFIGURE_ARGS=-dfEHNPOg GEN_HOST=1 LONG_BIT=32
32 - sudo apt-get install -y dc
33 - pip install --user codecov
36 - curl -o tests/bc/scripts/timeconst.bc https://raw.githubusercontent.com/torvalds/linux/master/kernel/time/timeconst.bc
39 - bash <(curl -s https://codecov.io/bash)
42 - if [ "${COVERITY_SCAN_BRANCH}" != 1 ]; then ./configure.sh "$CONFIGURE_ARGS" && make -j4 && make -j4 test ; fi