# 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:"
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