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