more proper like british people

bap_install.sh

@@ -0,0 +1,21 @@
+#!/bin/bash -e
+
+echo "preparing opam"
+export OPAMYES=1
+export OPAMJOBS=$(grep processor < /proc/cpuinfo | wc -l)
+opam init
+opam update
+
+echo "installing BAP"
+#export OPAMVERBOSE=1
+
+# needed so travis doesn't give up on us after 10 minutes of no output
+function kill_python {
+  echo "BAP installed"
+  kill %%
+}
+/usr/bin/env python2.7 -mtimeit "import time; start=time.time()" \
+  "while 1: time.sleep(30); print 'still building BAP: %5.2fm elapsed' % ((time.time()-start)/60)" &
+trap kill_python EXIT
+llvm_version=3.4 opam install bap
+

install.sh

@@ -40,19 +40,9 @@ if [[ "$unamestr" == 'Linux' ]]; then
   fi
 fi
 
-echo "preparing opam"
-export OPAMYES=1
-export OPAMJOBS=$(grep processor < /proc/cpuinfo | wc -l)
-opam init
-opam update
-
-echo "installing BAP"
-#export OPAMVERBOSE=1
-# needed so travis doesn't give up on us after 10 minutes of no output
-python -mtimeit "import time; start=time.time()" \
-  "while 1: time.sleep(30); print 'still building BAP: %5.2fm elapsed' % ((time.time()-start)/60)" &
-llvm_version=3.4 opam install bap
-kill %%
+# do you like waiting a long time?
+# you should install BAP!
+./bap_install.sh
 
 echo "installing pip packages"
 virtualenv venv