Removing the 'curl' command as the file is already in the source tree

STAMP-project · Mar 26, 2019 · d872c84 · d872c84
1 parent 1d7de24
commit d872c84
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -32,7 +32,7 @@ before_install:
 install:
   # Install the Z3 solver
   - python -c 'import sys; print(sys.path)'
-  - curl -L https://github.com/STAMP-project/camp/raw/master/install.sh | bash -s -- --only-z3 --python-library /opt/python/2.7.15/lib/python2.7
+  - bash install.sh --only-z3 --python-library /opt/python/2.7.15/lib/python2.7
 
   # Install CAMP and its dependencies 
   - pip install codecov coverage