diff options
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 3583e4ba..81e571c3 100644 --- a/.travis.yml +++ b/.travis.yml @@ -49,4 +49,4 @@ before_script: - "cd miasm;" - "python setup.py build build_ext -I$(pwd)/../virtualenv/include -L$(pwd)/../virtualenv/tinycc" - "python setup.py install" -script: "python -c 'import z3; x = z3.BitVec(chr(0x41), 32)' && cd test && python test_all.py" +script: "python -c 'import z3; x = z3.BitVec(chr(0x41), 32)' && cd test && python test_all.py && git ls-files -o --exclude-standard" |