diff options
Diffstat (limited to 'bin/g++_metric.sh')
-rwxr-xr-x | bin/g++_metric.sh | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/bin/g++_metric.sh b/bin/g++_metric.sh deleted file mode 100755 index 93af97932a1..00000000000 --- a/bin/g++_metric.sh +++ /dev/null @@ -1,30 +0,0 @@ -#!/bin/sh -# -# $Id$ -# -# This simple script is used to gather compile time metrics. You can use -# it with make like this: -# -# $ make CXX=g++_metric.sh -# - -commandline=$@ -# find the target and save it to a variable -until [ -z "$1" ] # test all command line parameters -do - if [ "-o" = "$1" ] - then - shift - target=$1 - break - fi - shift -done - -# echo out "(%x)", the return value from g++, so the script processes the output -# will only use times for successful compilations, i.e., "(0)". -/usr/bin/time -f "//compile time(%x): ${PWD#$ACE_ROOT/}/${target} %U %S" g++ $commandline - -retval=$? - -exit $retval |