Add a header

diff --git a/jenkins_build.sh b/jenkins_build.sh
index 35340361ee1f7ef0e348c30334755754c6d66caf..0a535b8b9ef57e3ff19d561eaf944b1c1c1273d4 100644 (file)
--- a/jenkins_build.sh
+++ b/jenkins_build.sh
@@ -1,3 +1,4 @@
+#! /bin/bash
 virtualenv .
 source bin/activate
 python setup.py develop