introduce build.sh, add support for hooknook builds

wilcoxjay · wilcoxjay · commit cd78041b0b79 · 2015-02-21T14:53:13.000-08:00
diff --git a/.hook.yaml b/.hook.yaml
@@ -0,0 +1 @@
+deploy: ./build.sh
diff --git a/.travis-ci.sh b/.travis-ci.sh
@@ -6,6 +6,4 @@ tar xf coq-8.5beta1-build.tgz
 pushd coq-8.5beta1
 sudo make install > /dev/null 2>&1
 popd
-make -k
-cd raft
-make -k
+./build.sh
diff --git a/build.sh b/build.sh
@@ -0,0 +1,4 @@
+#!/usr/bin/bash
+make -k -j
+cd raft
+make -k -j
