A KUDOS-wide Makefile

DIKU-EDU · Nov 3, 2016 · 6dd9fe7 · 6dd9fe7
1 parent 26eab47
commit 6dd9fe7
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -0,0 +1,10 @@
+.PHONY: all clean
+
+all:
+	make -C kudos
+	make -C userland
+
+clean:
+	make -C kudos clean
+	make -C userland clean
+	rm store.file