From 51bb3057a301c89048c67bdbc0911f9ed437aab1 Mon Sep 17 00:00:00 2001 From: Thomas Bernard Date: Fri, 15 Sep 2017 21:50:43 +0200 Subject: [PATCH] add a "root" Makefile --- Makefile | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 Makefile diff --git a/Makefile b/Makefile new file mode 100644 index 00000000..36681817 --- /dev/null +++ b/Makefile @@ -0,0 +1,2 @@ +all: + $(MAKE) -C src/