Add the people page to the navbar

[simgrid.git] / tools / graspe-slave.in

diff --git a/tools/graspe-slave.in b/tools/graspe-slave.in
index ef2a8f9..ee21e6b 100644 (file)
--- a/tools/graspe-slave.in
+++ b/tools/graspe-slave.in
@@ -26,7 +26,7 @@ CONFIGURE_ENV=""
 CONFIGURE_ARGS="--prefix=$PREFIX/@PACKAGE@"
 
 # make target
-MAKE_ALL="clean all"
+MAKE_ALL="all"
 MAKE_INSTALL=install
 MAKE_CHECK="-k check"
 
@@ -78,6 +78,17 @@ fi
 ###
 # Real script
 ###
+if [ "x$CC" = x ] ; then
+  echo "CC not set. Search for xlC"
+  xlC=`which xlC`
+  if [ "x$xlC" != x ] ; then
+    echo "Found (in $xlC)"
+    CONFIGURE_ARGS="$CONFIGURE_ARGS CC=xlC"
+  else
+    echo "Not found. Stick to the defaults"
+  fi
+fi
+
 # expend the path for solaris
 PATH="$PATH:/usr/xpg4/bin"
 export PATH