File tree Expand file tree Collapse file tree 1 file changed +6
-5
lines changed Expand file tree Collapse file tree 1 file changed +6
-5
lines changed Original file line number Diff line number Diff line change @@ -2,10 +2,11 @@ language: bash
22sudo : required
33dist : trusty
44env :
5- - PATH=$TRAVIS_BUILD_DIR/bin:$PATH
5+ - SUITE="z3" PATH=$TRAVIS_BUILD_DIR/bin:$PATH
6+ - SUITE="qemu" PATH=$TRAVIS_BUILD_DIR/bin:$PATH
7+ - SUITE="qira" PATH=$TRAVIS_BUILD_DIR/bin:$PATH
8+ - SUITE="afl" PATH=$TRAVIS_BUILD_DIR/bin:$PATH
9+ - SUITE="all" PATH=$TRAVIS_BUILD_DIR/bin:$PATH
610install : (sudo apt-get update || true) && bin/manage-tools -s setup
711script :
8- - VIRTUALENVWRAPPER_SCRIPT=/usr/share/virtualenvwrapper/virtualenvwrapper.sh manage-tools -s -v test z3
9- - VIRTUALENVWRAPPER_SCRIPT=/usr/share/virtualenvwrapper/virtualenvwrapper.sh manage-tools -s -v test qemu
10- - VIRTUALENVWRAPPER_SCRIPT=/usr/share/virtualenvwrapper/virtualenvwrapper.sh manage-tools -s -v test qira
11- - VIRTUALENVWRAPPER_SCRIPT=/usr/share/virtualenvwrapper/virtualenvwrapper.sh manage-tools -s -v test all
12+ - VIRTUALENVWRAPPER_SCRIPT=/usr/share/virtualenvwrapper/virtualenvwrapper.sh manage-tools -s -v test $SUITE
You can’t perform that action at this time.
0 commit comments