TimeProgram.sh

   1 #!/bin/sh
   2 #
   3 # Program:  TimeProgram.sh
   4 #
   5 # Synopsis: Get reliable timing results for a program
   6 #
   7 # Syntax:  ./TimeProgram <name> Program args...
   8 #
   9
  10 NAME=$1
  11 shift
  12
  13 echo "Timing $NAME"
  14
  15 # discard first output
  16 time -p $* > /dev/null 2>&1
  17
  18 # Gather three data points
  19 (time -p $* > /dev/null) 2>&1 | grep user | sed 's/user //'
  20 (time -p $* > /dev/null) 2>&1 | grep user | sed 's/user //'
  21 (time -p $* > /dev/null) 2>&1 | grep user | sed 's/user //'
  22