Scripts : Changed shebang /bin/sh by /bin/bash specifically
authorBenjamin Renard <brenard@easter-eggs.com>
Fri, 20 May 2011 15:46:59 +0000 (17:46 +0200)
committerBenjamin Renard <brenard@easter-eggs.com>
Fri, 20 May 2011 15:46:59 +0000 (17:46 +0200)
buildDoc.sh
buildDocExports.sh
checkDocExportsNecessity.sh
checkUpgrade.sh
upgradeFromGit.sh

index d2bb7da..be806e0 100755 (executable)
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 ROOT_DIR=$( cd `dirname $0`; pwd )
 LOCAL_CFG_DIR=$ROOT_DIR/config.local
index 92fde7a..bb44e80 100755 (executable)
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 ROOT_DIR=$( cd `dirname $0`; pwd )
 LOCAL_CFG_DIR=$ROOT_DIR/config.local
index 76db1d0..ff29887 100755 (executable)
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 ROOT_DIR=$( cd `dirname $0`; pwd )
 LOCAL_CFG_DIR=$ROOT_DIR/config.local
index abb7580..23c27c0 100755 (executable)
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 ROOT_DIR=$( cd `dirname $0`; pwd )
 
index aa32fad..fcf89de 100755 (executable)
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 
 ROOT_DIR=$( cd `dirname $0`; pwd )