diff options
Diffstat (limited to 'benchmark')
-rwxr-xr-x | benchmark | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/benchmark b/benchmark deleted file mode 100755 index b06c621..0000000 --- a/benchmark +++ /dev/null @@ -1,7 +0,0 @@ -#!/usr/bin/env bash -rm -rf out -thing='start up' -{ make -j1; echo done;}|ts -i '%.s'|sed 's/ .* / /' |while read -r time newthing; do - echo $time $thing - thing=$newthing -done | sort -n |