diff --git a/Code/Mantid/Build/Jenkins/buildscript b/Code/Mantid/Build/Jenkins/buildscript index aab6f8d3ab9ed153489dfb5eab863b331e92ea06..e129f706d8059d91b165595bbf2bfb3eae8c12b0 100755 --- 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. #