Restructure timing and instrumentation. Add performance metric.

2021-04-15 14:55:02 +02:00
parent 35273c491b
commit 06ba3b2726
6 changed files with 33 additions and 21 deletions
--- a/2
+++ b/2
@@ -68,5 +68,5 @@ clean:

 distclean: clean
 	@echo "===>  DIST CLEAN"
-	@rm -f $(TARGET)
+	@rm -f $(TARGET)*
 	@rm -f tags