From ea0dcdca4a096266a3e4ee754158e8eca28c18d9 Mon Sep 17 00:00:00 2001
From: Dirk Zimoch <dirk.zimoch@psi.ch>
Date: Tue, 15 Sep 2015 16:02:14 +0200
Subject: [PATCH] keep backward compatibility with old clean:: targets

---
 App/tools/driver.makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/App/tools/driver.makefile b/App/tools/driver.makefile
index 64e31ee..a3eafb9 100644
--- a/App/tools/driver.makefile
+++ b/App/tools/driver.makefile
@@ -142,10 +142,10 @@ NM = nm
 RM = rm -f
 MKDIR = mkdir -p -m 775
 
-clean:
+clean::
 	$(RMDIR) O.*
 
-clean.%:
+clean.%::
 	$(RMDIR) $(wildcard O.*${@:clean.%=%}*)
 
 uninstall: