Fix pb of previous integration

[tools/install.git] / config_files / BOOST-1.31.0.sh

diff --git a/config_files/BOOST-1.31.0.sh b/config_files/BOOST-1.31.0.sh
index bad1cc93156738d005c87f3353cc20708a95d8d6..5d61feefba93bd6ccd1b96c64b05df84043e3e0a 100755 (executable)
--- a/config_files/BOOST-1.31.0.sh
+++ b/config_files/BOOST-1.31.0.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash -noprofile
 
 ####################################################################################
 #  File      : BOOST-1.31.0.sh