[#766] Use /bin/sh instead of /bin/bash

ckan · Oct 22, 2013 · 852a23c · 852a23c
1 parent 4c46078
commit 852a23c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bin/travis-run-tests b/bin/travis-run-tests
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 # Configure Solr
 echo "NO_START=0\nJETTY_HOST=127.0.0.1\nJETTY_PORT=8983\nJAVA_HOME=$JAVA_HOME" | sudo tee /etc/default/jetty