diff options
author | Silvan Jegen <s.jegen@gmail.com> | 2016-09-15 20:24:57 +0200 |
---|---|---|
committer | Silvan Jegen <s.jegen@gmail.com> | 2016-09-15 20:25:25 +0200 |
commit | 244242a973d74a907066d73a54b20487401dd53c (patch) | |
tree | b867e862221bdc6bce7f3d953f0e571bf37f1412 /measuretime.sh | |
parent | 79685650b31a919a3ebaa687d54c3d08e2087195 (diff) |
Add benchmarking scripts and benchmarking subset
Diffstat (limited to 'measuretime.sh')
-rwxr-xr-x | measuretime.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/measuretime.sh b/measuretime.sh new file mode 100755 index 0000000..29760bf --- /dev/null +++ b/measuretime.sh @@ -0,0 +1,3 @@ +#! /bin/bash + +time $@ > /dev/null 2>> $1.time.txt |