From 0c6bfc38c523da4deb74a1d93c0bd77d25efd49a Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Sun, 12 Jun 2016 17:53:06 +0900
Subject: [PATCH] more complete cleaning

---
 eu/examples/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/eu/examples/Makefile b/eu/examples/Makefile
index fbcd447..411e5dc 100644
--- a/eu/examples/Makefile
+++ b/eu/examples/Makefile
@@ -1,3 +1,3 @@
 DIRS = strep 
-all: 
+all clean distclean: 
 	@for d in $(DIRS); do (cd $$d && $(MAKE) -$(MAKEFLAGS) $@); done;