Merge pull request #116 from nathanleclaire/fix_script_bash

Fix scripting issue (systems which don't default to bash)
2014-12-17 18:36:03 +00:00 · 2014-12-17 18:36:03 +00:00 · d16614757e
parent c27e65fe66 2f44eca0d3
commit d16614757e
1 changed files with 1 additions and 1 deletions
--- a/script/build
+++ b/script/build
@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 set -e
 if [ -z "$1" ]; then