replace /bin/sh by /bin/bash to avoid ambiguity

[tools/install.git] / config_files / common.sh

diff --git a/config_files/common.sh b/config_files/common.sh
index 6eb1749b4e2bfda05556f0c4dbc15b77a6427def..509b8dab3b497a375482f377d58c97ca2b558fcb 100755 (executable)
--- a/config_files/common.sh
+++ b/config_files/common.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash -noprofile
 
 ####################################################################################
 #  File      : common.sh