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

[tools/install.git] / config_files / graphviz-1.9.sh

diff --git a/config_files/graphviz-1.9.sh b/config_files/graphviz-1.9.sh
index 12a304a5c7794c183884afe14c5af92e8208f9bd..4c9d19cfb0ece32e44358f01d6dbf8a214f1d9e0 100755 (executable)
--- a/config_files/graphviz-1.9.sh
+++ b/config_files/graphviz-1.9.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash -noprofile
 
 ####################################################################################
 #  File      : graphviz-1.9.sh