lol

2021-06-13 02:09:57 +02:00
parent 4f390ce36a
commit 743e874c59
64 changed files with 297 additions and 661 deletions
@@ -4,8 +4,13 @@
 # target debug: Print more informations
 .PHONY: debug
 debug:
-	$(MAKE) doc help DEBUG=true
+	$(MAKE) doc help profile DEBUG=true

 # target debug-%: Print value of %
 .PHONY: debug-%
 debug-%: context-% ;
+
+# target profile: Print timing informations
+.PHONY: profile
+profile: context-ELAPSED_TIME
+