From 53be488edab9719c3605f849f48027e6b9fd034e Mon Sep 17 00:00:00 2001
From: Florian Lugou <florian.lugou@telecom-paristech.fr>
Date: Fri, 4 Dec 2015 12:59:38 +0000
Subject: [PATCH] fixed Makefile clean

---
 Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Makefile b/Makefile
index 91ac6de49f..945e4453fd 100755
--- a/Makefile
+++ b/Makefile
@@ -437,6 +437,8 @@ clean:
 			$(MAKE) -s -C $$t -f $(TEST_MK) clean; \
 			echo rm -f $$t/*.class; \
 			rm -f $$t/$(TEST_MK); \
+		fi \
+	done
 
 
 ultraclean: clean
-- 
GitLab