| commit | 949c4eb07303dad42d52d8d607a3c01c3649e940 | [log] [tgz] |
|---|---|---|
| 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 [diff] |
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