Add a root directory Makefile that forwards to src/ one

praschke · Nov 10, 2019 · 1713d1d · 1713d1d
1 parent 11975b7
commit 1713d1d
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -0,0 +1,7 @@
+all:
+	$(MAKE) -C src $@
+
+%: FORCE
+	$(MAKE) -C src $@
+
+.PHONY: all FORCE