diff options
author | Silvan Jegen <s.jegen@gmail.com> | 2016-09-15 20:58:43 +0200 |
---|---|---|
committer | Silvan Jegen <s.jegen@gmail.com> | 2016-09-15 20:58:43 +0200 |
commit | 9e22721006311c4bd525799928a17ebb5ca211b1 (patch) | |
tree | 02c5833bee862333bfc6c3f36ed24f76ab26b544 /measuretime.sh | |
parent | 244242a973d74a907066d73a54b20487401dd53c (diff) |
Repeat the runs 10 times
We also only print the 'real' time.
Diffstat (limited to 'measuretime.sh')
-rwxr-xr-x | measuretime.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/measuretime.sh b/measuretime.sh index 29760bf..3b6dad5 100755 --- a/measuretime.sh +++ b/measuretime.sh @@ -1,3 +1,3 @@ #! /bin/bash -time $@ > /dev/null 2>> $1.time.txt +time $@ > /dev/null |