From 59ce048ce3c1306cbac643c96d20b98099965342 Mon Sep 17 00:00:00 2001
From: Joris Vink <joris@coders.se>
Date: Thu, 29 Nov 2018 21:04:14 +0100
Subject: [PATCH] add a Makefile to build all examples.

---
 examples/Makefile | 40 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)
 create mode 100644 examples/Makefile

diff --git a/examples/Makefile b/examples/Makefile
new file mode 100644
index 0000000..a0ccc87
--- /dev/null
+++ b/examples/Makefile
@@ -0,0 +1,40 @@
+#
+# Build all relevant examples.
+# This only exists to quickly test building all examples.
+#
+
+CURDIR=		$(shell pwd)
+KODEV=		../kodev/kodev
+
+EXAMPLES=	cookies \
+		cpp \
+		generic \
+		headers \
+		integers \
+		memtag \
+		messaging \
+		nohttp \
+		parameters \
+		pgsql \
+		pgsql-sync \
+		pipe_task \
+		python \
+		python-async \
+		python-echo \
+		python-pgsql \
+		sse \
+		tasks \
+		tls-proxy \
+		upload \
+		video_stream \
+		websocket \
+
+all: $(KODEV)
+	@for example in $(EXAMPLES); do \
+		cd $$example; \
+		../$(KODEV) clean && ../$(KODEV) build || exit 1; \
+		cd $(CURDIR); \
+	done
+
+$(KODEV):
+	$(MAKE) -C $(KORE_ROOT)/kodev