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

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

diff --git a/config_files/SAMPLES.sh b/config_files/SAMPLES.sh
index b12a5b0a61f7758f2f4e1b44b20dae65007c0ed3..4162b769047345a833a993d99a4e1721e9ce6a0a 100755 (executable)
--- a/config_files/SAMPLES.sh
+++ b/config_files/SAMPLES.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash -noprofile
 
 ####################################################################################
 #  File      : SAMPLES.sh