From ee2dd3beba1ad36079e6220795755513246fccfe Mon Sep 17 00:00:00 2001
From: Tobias Langer <tobias.langer@oth-regensburg.de>
Date: Thu, 6 Oct 2016 13:50:42 +0200
Subject: [PATCH] Added Makefile to build all experiments.

---
 Makefile | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 Makefile

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..7300467
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,16 @@
+NON_DIRS=experiments/ template/
+DIRS=$(patsubst %/,%/,$(sort $(dir $(filter-out $(NON_DIRS),$(wildcard */)))))
+MAKE=make
+
+.PHONY: all clean $(DIRS) run
+
+all: $(DIRS)
+
+$(DIRS):
+	@echo Entering $@…
+	$(MAKE) -C $@
+	@echo Leaving $@
+
+clean: $(CLEAN)
+	@echo Cleaning up...
+	@for i in $(DIRS); do ($(MAKE) -C $$i/ clean); done 
--
libgit2 0.26.0