From def14f327d1304dfcc44700c4f0b7d9aec97ace2 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Sun, 27 Aug 2017 15:31:17 +0200
Subject: [PATCH] okl4: remove tools of okl4 during make clean

---
 repos/base-okl4/src/kernel/okl4/target.mk | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/repos/base-okl4/src/kernel/okl4/target.mk b/repos/base-okl4/src/kernel/okl4/target.mk
index f971c7c2a..1114517b2 100644
--- a/repos/base-okl4/src/kernel/okl4/target.mk
+++ b/repos/base-okl4/src/kernel/okl4/target.mk
@@ -16,3 +16,6 @@ LD_SCRIPT_STATIC = $(REP_DIR)/contrib/generated/x86/linker.ld
 $(TARGET): dummy.c
 dummy.c:
 	@touch $@
+
+clean:
+	$(VERBOSE)rm -rf $(BUILD_BASE_DIR)/tool/okl4