diff options
author | Luke Shumaker <lukeshu@sbcglobal.net> | 2017-01-02 17:37:19 -0500 |
---|---|---|
committer | Luke Shumaker <lukeshu@sbcglobal.net> | 2017-01-02 17:37:19 -0500 |
commit | 5d4fc096459614c1b4f18f36a932f2cb51220aaf (patch) | |
tree | 54d2895cd3080982ddfb927ee9174b8de110746f | |
parent | 37bfcdbd30a0e16894ccb16808cd21858b22193e (diff) |
add benchmark
-rw-r--r-- | HACKING.md | 1 | ||||
-rwxr-xr-x | benchmark | 7 |
2 files changed, 8 insertions, 0 deletions
@@ -5,6 +5,7 @@ Here's the gist: /out/ : where the generated output goes Makefile : invoke /bin/ as appropriate git-setup : set up git hooks (see below) + benchmark : see which files take longer to generate The web server should serve the union of /src/ and /out/. diff --git a/benchmark b/benchmark new file mode 100755 index 0000000..b06c621 --- /dev/null +++ b/benchmark @@ -0,0 +1,7 @@ +#!/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 |