WIP add profile menu example

2023-04-15 07:06:03 +01:00
parent d8c112fa92
commit 355b466746
17 changed files with 107 additions and 8 deletions
--- a/6
+++ b/6
@@ -0,0 +1,6 @@
+examples: profile
+
+.PHONY: profile
+
+profile:
+	bash examples/compile.sh examples/profile