From 416c6579d4615bf7cf55bfe9ef37aa377034d4a3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Wed, 27 Aug 2014 16:07:28 +0200
Subject: [PATCH] tools: fix clean rule in tool_chain_rump

The clean rule is used to delete already built binaries as well as to
clean-up any left-overs from previous build attempts. If there was
no previous attempt just return true to prevent make from complaining.

Fixes #1245.
---
 tool/tool_chain_rump | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/tool/tool_chain_rump b/tool/tool_chain_rump
index f742383eee..202a1cbe66 100755
--- a/tool/tool_chain_rump
+++ b/tool/tool_chain_rump
@@ -109,7 +109,9 @@ install: $(CONTRIB_DIR) $(BUILD_DIR)/bin/rump_server
 
 clean:
 	$(VERBOSE)rm -rf $(BUILD_DIR)
-	$(VERBOSE)cd $(CONTRIB_DIR) && make cleanrump
+	$(VERBOSE)cd $(CONTRIB_DIR) > /dev/null 2>&1 && \
+	          rm .compile.tag > /dev/null 2>&1 && \
+	          make cleanrump > /dev/null 2>&1 || true
 
 cleanall: clean
 	$(VERBOSE)rm -rf $(CONTRIB_DIR)