Try to make Travis happy
This commit is contained in:
parent
4f7d162555
commit
2acfd2bcd4
|
@ -37,6 +37,7 @@ before_install:
|
||||||
- travis_retry python3 -m pip install --user pygments
|
- travis_retry python3 -m pip install --user pygments
|
||||||
- travis_retry sudo python3 -m pip install demjson # installs jsonlint => sudo required
|
- travis_retry sudo python3 -m pip install demjson # installs jsonlint => sudo required
|
||||||
- travis_retry python3 -m pip install --user natsort
|
- travis_retry python3 -m pip install --user natsort
|
||||||
|
- cp externals/z3_version_old.h externals/z3_version.h # because travis z3 version is old
|
||||||
|
|
||||||
matrix:
|
matrix:
|
||||||
# do notify immediately about it when a job of a build fails.
|
# do notify immediately about it when a job of a build fails.
|
||||||
|
@ -63,7 +64,6 @@ matrix:
|
||||||
compiler: gcc
|
compiler: gcc
|
||||||
script:
|
script:
|
||||||
- make clean
|
- make clean
|
||||||
- cp externals/z3_version_old.h externals/z3_version.h
|
|
||||||
- make USE_Z3=yes -j2 all
|
- make USE_Z3=yes -j2 all
|
||||||
- ./testrunner TestExprEngine
|
- ./testrunner TestExprEngine
|
||||||
- python3 test/bug-hunting/cve.py
|
- python3 test/bug-hunting/cve.py
|
||||||
|
|
Loading…
Reference in New Issue