5 Commits

Author	SHA1	Message	Date
Timothy Clem	e85acd4b99	Fix up profiling script	2020-07-07 09:07:11 -07:00
Patrick Thomson	1e58f321b4	Update build docs.	2020-06-29 14:48:02 -04:00
Jinxuan Zhu	df8e63f1fb	Use env bash because /bin/bash does not exists in nixos	2020-03-29 21:49:33 -05:00
Rob Rix	6a4057902c	v2-.	2019-10-30 08:42:28 -04:00
Patrick Thomson	fb1b145bd7	Add script to simplify profiling. ... This script is useful in that it takes care of remembering past results and imvoking profiteur/hp2pretty/etc. We had this back in the day, but it didn't make the transition to the new repository.	2019-08-12 15:03:08 -04:00