23 строки
444 B
Bash
Executable File
23 строки
444 B
Bash
Executable File
#!/bin/sh
|
|
#
|
|
# Program: TimeProgram.sh
|
|
#
|
|
# Synopsis: Get reliable timing results for a program
|
|
#
|
|
# Syntax: ./TimeProgram <name> Program args...
|
|
#
|
|
|
|
NAME=$1
|
|
shift
|
|
|
|
echo "Timing $NAME"
|
|
|
|
# discard first output
|
|
time -p $* > /dev/null 2>&1
|
|
|
|
# Gather three data points
|
|
(time -p $* > /dev/null) 2>&1 | grep user | sed 's/user //'
|
|
(time -p $* > /dev/null) 2>&1 | grep user | sed 's/user //'
|
|
(time -p $* > /dev/null) 2>&1 | grep user | sed 's/user //'
|
|
|