Re #8882. Make sure we're using bash.

mantidproject · Mar 10, 2014 · d10d8e6 · d10d8e6
1 parent 8985f8b
commit d10d8e6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Code/Mantid/Build/Jenkins/buildscript b/Code/Mantid/Build/Jenkins/buildscript
@@ -1,4 +1,4 @@
-#!/bin/sh -ex
+#!/bin/bash -ex
 ###############################################################################
 # LINUX/MAC SCRIPT TO DRIVE THE JENKINS BUILDS OF MANTID.
 #