From 6dd9fe7b28fe7026ddaea48725d03c3be8a01706 Mon Sep 17 00:00:00 2001 From: oleks Date: Thu, 3 Nov 2016 06:45:51 +0100 Subject: [PATCH] A KUDOS-wide Makefile --- Makefile | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 Makefile diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..61b8761 --- /dev/null +++ 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