oops

2017-04-27 15:48:28 -04:00
parent 1836c2d266
commit 7e46db5216
2 changed files with 2 additions and 2 deletions
@@ -10,7 +10,7 @@ cache:
  - $HOME/virtualenv/python2.7.12/bin/
  - $HOME/unicorn
 dist: trusty
-sudo: false
+sudo: required
 os:
 - linux
 python:
@@ -7,5 +7,5 @@ mkdir z3
 pushd z3
 wget https://s3.amazonaws.com/manticore-z3/${Z3_VERSION}.zip -O z3.zip
 unzip z3.zip
-export PATH=$PATH:$PWD/${Z3_VERSION}/bin/
+sudo cp -v ${Z3_VERSION}/bin/z3 /usr/bin/z3
 popd