From c079b0adf263814b30cdbcd1d4cf8abb31be1700 Mon Sep 17 00:00:00 2001 From: Benjamin Renard Date: Fri, 20 May 2011 17:46:59 +0200 Subject: [PATCH] Scripts : Changed shebang /bin/sh by /bin/bash specifically --- buildDoc.sh | 2 +- buildDocExports.sh | 2 +- checkDocExportsNecessity.sh | 2 +- checkUpgrade.sh | 2 +- upgradeFromGit.sh | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) 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 )