load simgrid_config ASAP so that _GNU_SOURCE really get defined before stdio is loaded

[simgrid.git] / configure

diff --git a/configure b/configure
index 83578a234084c4b6d09f11a191f694546c39f89f..351cfa3f10485e9eb1caaaf2cfb7f01ed28a5e32 100755 (executable)
--- a/configure
+++ b/configure
@@ -1,5 +1,5 @@
-#! /bin/sh
+#! /bin/bash
 
 echo "THIS COMMAND IS NOT AVAILABLE!"
 echo "Since v3.4 we use cmake. Now use:"
-echo "\tcmake -DCMAKE_INSTALL_PREFIX=<where_you_want> .\n\tmake\n\tmake install." 
+echo -e "\tcmake -DCMAKE_INSTALL_PREFIX=<where_you_want> .\n\tmake\n\tmake install."