diff --git a/buildDoc.sh b/buildDoc.sh index d2bb7da6..be806e05 100755 --- a/buildDoc.sh +++ b/buildDoc.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash ROOT_DIR=$( cd `dirname $0`; pwd ) LOCAL_CFG_DIR=$ROOT_DIR/config.local diff --git a/buildDocExports.sh b/buildDocExports.sh index 92fde7a0..bb44e80e 100755 --- a/buildDocExports.sh +++ b/buildDocExports.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash ROOT_DIR=$( cd `dirname $0`; pwd ) LOCAL_CFG_DIR=$ROOT_DIR/config.local diff --git a/checkDocExportsNecessity.sh b/checkDocExportsNecessity.sh index 76db1d06..ff298875 100755 --- a/checkDocExportsNecessity.sh +++ b/checkDocExportsNecessity.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash ROOT_DIR=$( cd `dirname $0`; pwd ) LOCAL_CFG_DIR=$ROOT_DIR/config.local diff --git a/checkUpgrade.sh b/checkUpgrade.sh index abb7580e..23c27c0b 100755 --- a/checkUpgrade.sh +++ b/checkUpgrade.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash ROOT_DIR=$( cd `dirname $0`; pwd ) diff --git a/upgradeFromGit.sh b/upgradeFromGit.sh index aa32fade..fcf89de3 100755 --- a/upgradeFromGit.sh +++ b/upgradeFromGit.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash ROOT_DIR=$( cd `dirname $0`; pwd )