Add benchmarking runner and makefile.

    Now you can do 'make bench', and see how fast Myrddin runs. Or
    at least the integer sorting bit.

    TODO: expand this so that you can see how it compares to previous
    results, and add benchmarks.

1 files changed, 3 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index a144878..b309d47 100644
--- a/Makefile
+++ b/Makefile
@@ -12,3 +12,6 @@ include config.mk
 
 check: all
 	$(MAKE) -C test check
+
+bench: all
+	$(MAKE) -C bench bench