From 1a5ef4e023bf355d461f6ab59ccaff85201ceb36 Mon Sep 17 00:00:00 2001
From: Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de>
Date: Fri, 21 Aug 2015 03:06:44 +0200
Subject: [PATCH] Linux Makefile: Remove .map file on clean

---
 shell/linux/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/shell/linux/Makefile b/shell/linux/Makefile
index 3a1c1e314..60fed85f2 100644
--- a/shell/linux/Makefile
+++ b/shell/linux/Makefile
@@ -275,4 +275,4 @@ obj-$(platform)/%.build_obj : $(RZDCY_SRC_DIR)/%.S
 	$(AS) $(ASFLAGS) $(INCS) $< -o $@
 
 clean:
-	rm $(OBJECTS) $(EXECUTABLE) -f
+	rm -f $(OBJECTS) $(EXECUTABLE) .map