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

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

diff --git a/config_files/SUPERV_SRC.sh b/config_files/SUPERV_SRC.sh
index b0f63efcd0e53d1e9ebed21acfe6bd8a92e7bcbb..68694dcadb450907dd1f043080456380aecd9f5a 100755 (executable)
--- a/config_files/SUPERV_SRC.sh
+++ b/config_files/SUPERV_SRC.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash -noprofile
 
 ####################################################################################
 #  File      : SUPERV_SRC.sh