commit 949c4eb07303dad42d52d8d607a3c01c3649e940
author Ying Wang <wangying@google.com> Thu Aug 01 15:41:53 2013 -0700
committer Ying Wang <wangying@google.com> Thu Aug 01 15:46:25 2013 -0700
tree bfb06d994f2fe0463a1d52d370969715c078d4aa
parent a800e3d328dfb3b5c6e9d4e4e01e92c89dab74b0

Delete the kernel file when build config is changed

Now we have products of the same device type but with different kernel,
and we want to do incremental build on them.

Bug: 10133257
Change-Id: Iff4aae11e474d2822f02c62822bd028a5ba5b47a

core/cleanbuild.mk

diff --git a/core/cleanbuild.mk b/core/cleanbuild.mk
index 1d17f77..f32d0d1 100644
--- a/core/cleanbuild.mk
+++ b/core/cleanbuild.mk
@@ -182,6 +182,7 @@
 	$(PRODUCT_OUT)/*.txt \
 	$(PRODUCT_OUT)/*.xlb \
 	$(PRODUCT_OUT)/*.zip \
+	$(PRODUCT_OUT)/kernel \
 	$(PRODUCT_OUT)/data \
 	$(PRODUCT_OUT)/obj/APPS \
 	$(PRODUCT_OUT)/obj/NOTICE_FILES \