From 71c0ab93841fd3754602c012f940b0628cd14ba7 Mon Sep 17 00:00:00 2001
From: Jonathan Bauer
Date: Thu, 6 Jun 2013 14:21:42 +0200
Subject: [kernel] also clean .built

---
 remote/setup_target | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/remote/setup_target b/remote/setup_target
index 08e31f5d..369cdbac 100755
--- a/remote/setup_target
+++ b/remote/setup_target
@@ -336,6 +336,9 @@ clean_kernel_module() {
 		if [ -e .fetched_source ]; then
 			rm .fetched_source || perror "Could not delete ${TARGET_DIR}/kernel/.fetched_source"
 		fi
+		if [ -e .built ]; then
+			rm .built || perror "Could not delete ${TARGET_DIR}/kernel/.built"
+		fi
 		if [ -e ksrc ]; then
 			unlink ksrc || perror "Could not unlink ${TARGET_DIR}/kernel/ksrc."
 		fi
-- 
cgit v1.2.3-55-g7522