diff --git a/Projects/AthDerivation/build.sh b/Projects/AthDerivation/build.sh index dc222c652aa4339b7ba0d0722120313cc6406873..b0228ee11a3f504007464deb0e5fd82f81e6956d 100755 --- a/Projects/AthDerivation/build.sh +++ b/Projects/AthDerivation/build.sh @@ -3,8 +3,7 @@ # Script for building the release on top of externals built using one of the # scripts in this directory. # - -_time_() { local c="$*" ; ( time -p $c ) 2>&1 | sed "s,^real[[:space:]],time::${c}:: real ," ; } +_time_() { local c="time -p " ; while test "X$1" != "X" ; do c+=" \"$1\"" ; shift; done; ( eval "$c" ) 2>&1 | sed "s,^real[[:space:]],time::${c}:: real ," ; } # Function printing the usage information for the script usage() { diff --git a/Projects/AthSimulation/build.sh b/Projects/AthSimulation/build.sh index f3f5a5e84471b3ae47eb1efefcfe27dd06dba562..eec61a6837386ef4b9164a945becf883149c5e0e 100755 --- a/Projects/AthSimulation/build.sh +++ b/Projects/AthSimulation/build.sh @@ -3,8 +3,7 @@ # Script for building the release on top of externals built using one of the # scripts in this directory. # - -_time_() { local c="$*" ; ( time -p $c ) 2>&1 | sed "s,^real[[:space:]],time::${c}:: real ," ; } +_time_() { local c="time -p " ; while test "X$1" != "X" ; do c+=" \"$1\"" ; shift; done; ( eval "$c" ) 2>&1 | sed "s,^real[[:space:]],time::${c}:: real ," ; } # Function printing the usage information for the script usage() { diff --git a/Projects/Athena/build.sh b/Projects/Athena/build.sh index ce261d899aca8736cb35a96722c362591919d987..797678504a0ec98fa804765b651cd14885161b4a 100755 --- a/Projects/Athena/build.sh +++ b/Projects/Athena/build.sh @@ -3,8 +3,7 @@ # Script for building the release on top of externals built using one of the # scripts in this directory. # - -_time_() { local c="$*" ; ( time -p $c ) 2>&1 | sed "s,^real[[:space:]],time::${c}:: real ," ; } +_time_() { local c="time -p " ; while test "X$1" != "X" ; do c+=" \"$1\"" ; shift; done; ( eval "$c" ) 2>&1 | sed "s,^real[[:space:]],time::${c}:: real ," ; } # Function printing the usage information for the script usage() { diff --git a/Projects/AthenaP1/build.sh b/Projects/AthenaP1/build.sh index a1d1c7751db0ec0c43de00d560d21fef5f14177b..879aa0372ae975c789fd2f912bfcfae62501c1cd 100755 --- a/Projects/AthenaP1/build.sh +++ b/Projects/AthenaP1/build.sh @@ -3,8 +3,7 @@ # Script for building the release on top of externals built using one of the # scripts in this directory. # - -_time_() { local c="$*" ; ( time -p $c ) 2>&1 | sed "s,^real[[:space:]],time::${c}:: real ," ; } +_time_() { local c="time -p " ; while test "X$1" != "X" ; do c+=" \"$1\"" ; shift; done; ( eval "$c" ) 2>&1 | sed "s,^real[[:space:]],time::${c}:: real ," ; } # Function printing the usage information for the script usage() {