From 28277cbbf6e4d4d939c702938ce6166e490c5894 Mon Sep 17 00:00:00 2001
From: Juri Glass <juri.glass@dai-labor.de>
Date: Fri, 24 Jun 2011 23:30:23 +0200
Subject: [PATCH] added top level Makefile

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

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..6553762
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,10 @@
+
+all:
+	@$(MAKE) -C sml
+	@$(MAKE) -C examples
+
+.PHONY: clean
+clean :
+	@$(MAKE) -C sml clean
+	@$(MAKE) -C examples clean
+