An unsigned int may be too short with 64bits pointers.

[simgrid.git] / configure

diff --git a/configure b/configure
index 83578a2..4666fe6 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"