X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/65a7a10e6d1e5aaddaabfe7e68af9a6b21769772..728192b2ae7052c8f1ee2bbedf3346af46127e49:/BuildSimGrid.sh

diff --git a/BuildSimGrid.sh b/BuildSimGrid.sh
index e42d186a4c..0d8bf7ce6e 100755
--- a/BuildSimGrid.sh
+++ b/BuildSimGrid.sh
@@ -3,7 +3,7 @@
 # This little script rebuilds and runs the SimGrid archive in parallel, extracting a log
 # This is almost an internal script, but others may find this useful
 #
-# Copyright (c) 2017-2018 The SimGrid Team. Licence: LGPL of WDFPL, as you want.
+# Copyright (c) 2017-2019 The SimGrid Team. Licence: LGPL of WDFPL, as you want.
 
 if [ ! -e Makefile ] ; then
   echo "Please configure SimGrid before building it:"
@@ -13,7 +13,7 @@ fi
 
 target=all
 
-install_path=`grep ^CMAKE_INSTALL_PREFIX:PATH= CMakeCache.txt|sed 's/^[^=]*=//'`
+install_path=$(sed -n 's/^CMAKE_INSTALL_PREFIX:PATH=//p' CMakeCache.txt)
 if [ -e ${install_path} -a -d ${install_path} -a -x ${install_path} ] ; then
   target=install
 fi