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

[tools/install.git] / config_files / gcc-3.2.sh

diff --git a/config_files/gcc-3.2.sh b/config_files/gcc-3.2.sh
index 7f1710ec9e27531254c53a2085404ede487d3856..e830813c93b8771fde06c0bf2f6f16ecb9dedb04 100755 (executable)
--- a/config_files/gcc-3.2.sh
+++ b/config_files/gcc-3.2.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash -noprofile
 
 ####################################################################################
 #  File      : gcc-3.2.sh