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

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

diff --git a/config_files/GHS3DPLUGIN_SRC.sh b/config_files/GHS3DPLUGIN_SRC.sh
index 761b722c637e6d994be994fbc830a61a30f2aad2..3ae174ec9f3da30fe2ec57cee25f00807bf22989 100755 (executable)
--- a/config_files/GHS3DPLUGIN_SRC.sh
+++ b/config_files/GHS3DPLUGIN_SRC.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash -noprofile
 
 ####################################################################################
 #  File      : GHS3DPLUGIN_SRC.sh