blob: 06881e95afb61a297d1347e60c0a5a370149dbf3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
printf "time /dev/null:\n"
time ${THIS_SH} /dev/null
printf "\nPOSIX: time -p /dev/null:\n"
time -p ${THIS_SH} /dev/null
printf "\nBSD time /dev/null:\n"
TIMEFORMAT=$'\t%1R real\t%1U user\t%1S sys'
time ${THIS_SH} /dev/null
printf "\nSYSV time /dev/null:\n"
TIMEFORMAT=$'\nreal\t%1R\nuser\t%1U\nsys\t%1S'
time ${THIS_SH} /dev/null
printf "\nksh time /dev/null:\n"
TIMEFORMAT=$'\nreal\t%2lR\nuser\t%2lU\nsys\t%2lS'
time ${THIS_SH} /dev/null
printf "\ntimes:\n"
times
exit 0
|