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

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

diff --git a/config_files/SMESH_BIN.sh b/config_files/SMESH_BIN.sh
index a86b51e8817c5e6b3a35ed496dd877a771438dfa..6db9076006ed0b75f68e89269e613699f525f568 100755 (executable)
--- a/config_files/SMESH_BIN.sh
+++ b/config_files/SMESH_BIN.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash -noprofile
 
 ####################################################################################
 #  File      : SMESH_BIN.sh