Updated TravisCI to use pip2 instead of pip

davidtr1037 · Dec 5, 2017 · a248708 · a248708
1 parent 33a9d77
commit a248708
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -123,7 +123,7 @@ before_install:
     - ${KLEE_SRC}/.travis/install-llvm-and-runtime-compiler.sh
     - ${KLEE_SRC}/.travis/install-tcmalloc.sh
     # Install lit (llvm-lit is not available)
-    - sudo pip install lit
+    - sudo pip2 install lit
     # Get SMT solvers
     - ${KLEE_SRC}/.travis/solvers.sh
     # Get needed utlities/libraries for testing KLEE