Merge pull request #684 from input-output-hk/jpraynaud/fix-make-build-root

jpraynaud · web-flow · commit f3107a5fc79b · 2023-01-16T16:48:28.000+01:00
Fix `make` errors from root
diff --git a/mithril-test-lab/Makefile b/mithril-test-lab/Makefile
@@ -0,0 +1,5 @@
+%:
+    @:
+
+.PHONY: all build test check debug run clean help doc
+

-Original file line number
+Diff line change
@@ @@ -0,0 +1,5 @@ @@
 +%:
 +    @:
++
 +.PHONY: all build test check debug run clean help doc
++