From 238e37bdee1a92ca1b0f4a18e1d4af6c5e34997e Mon Sep 17 00:00:00 2001
From: cladmi <gaetan.harter@fu-berlin.de>
Date: Wed, 22 Aug 2018 15:57:59 +0200
Subject: [PATCH] Makefile.base: define 'clean' as .PHONY

---
 Makefile.base | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.base b/Makefile.base
index 95dd2e7623..5174119c09 100644
--- a/Makefile.base
+++ b/Makefile.base
@@ -7,7 +7,7 @@ DIRS := $(sort $(abspath $(DIRS)))
 
 MODULE ?= $(shell basename $(CURDIR))
 
-.PHONY: all $(DIRS:%=ALL--%) $(DIRS:%=CLEAN--%)
+.PHONY: all clean $(DIRS:%=ALL--%) $(DIRS:%=CLEAN--%)
 
 all: $(BINDIR)/$(MODULE).a ..nothing