path: root/benchmark

#!/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