X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/f28aa52cfe577ea47d2c88840c216f7f6d37e075..3233dd795ce5dde1057c2a52c4614ae36fd2da5d:/tools/compile-remote-worker.in

diff --git a/tools/compile-remote-worker.in b/tools/compile-remote-worker.in
index dbf3525ad8..ef2a8f94f1 100644
--- a/tools/compile-remote-worker.in
+++ b/tools/compile-remote-worker.in
@@ -8,6 +8,13 @@
 
 # Where to install the stuff into (REMOTE_PREFIX gets fixed by the makefile)
 PREFIX=$REMOTE_PREFIX
+if echo $PREFIX | egrep '^/' > /dev/null ; then
+  echo "Prefix is an absolute path. Good, it makes configure happy"
+else
+  echo "Change prefix to an absolute path to keep configure happy"
+  PREFIX="$HOME/$PREFIX"
+fi
+echo "(PREFIX=$PREFIX)"
 
 # Where extra libraries are installed (if any)
 LD_LIBRARY_PATH="$PREFIX/lib"
@@ -131,7 +138,12 @@ if echo $@ | grep check >/dev/null ; then
   do_cmd "make $MAKE_CHECK 2>&1" || fail "Cannot make check"
 fi
 
+echo Remote compilation sucessful.
+echo
+echo
+echo CONFIG-LOG-DUMP-BEGIN
 cat config.log
+echo CONFIG-LOG-DUMP-END
 echo
 echo
 echo Remote compilation sucessful.