3 # This simple script is used to gather compile time metrics. You can use
4 # it with make like this:
6 # $ make CXX=g++_metric.sh
10 # find the target and save it to a variable
11 until [ -z "$1" ] # test all command line parameters
22 # echo out "(%x)", the return value from g++, so the script processes the output
23 # will only use times for successful compilations, i.e., "(0)".
24 /usr
/bin
/time -f "//compile time(%x): ${PWD#$ACE_ROOT/}/${target} %U %S" g
++ $commandline