lib_timing

2025-11-25 21:17:21 +01:00 · 2025-11-25 21:17:21 +01:00 · 801705469d
commit 801705469d
parent 834ba5b137
2 changed files with 84 additions and 0 deletions
--- a/project.json
+++ b/project.json
@ -7,6 +7,11 @@
            "type":"library"

        },
+        {
+            "name": "lib-timing",
+            "extends": ["lib"],
+            "defines": [{ "name": "CRAFTER_TIMING" }]
+        },
        {
            "name": "lib-debug",
            "debug" : true,