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

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

diff --git a/config_files/GEOM_SRC.sh b/config_files/GEOM_SRC.sh
index 6837a68ac26c29e2de434a6a2bc6ae1985651ec7..a6aa460a30d3dc31aa6e9443b7635df3868e75f0 100755 (executable)
--- a/config_files/GEOM_SRC.sh
+++ b/config_files/GEOM_SRC.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash -noprofile
 
 ####################################################################################
 #  File      : GEOM_SRC.sh