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

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

diff --git a/config_files/HELLO_BIN.sh b/config_files/HELLO_BIN.sh
index 4f15e51f8728f6eff0d6df5c7c9018a7198a4b9e..f9df7d0a73407dcee891fce49386eba96a6b5d28 100755 (executable)
--- a/config_files/HELLO_BIN.sh
+++ b/config_files/HELLO_BIN.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash -noprofile
 
 ####################################################################################
 #  File      : HELLO_BIN.sh