diff options
author | Koushik Dutta <koushd@gmail.com> | 2012-07-11 21:19:02 -0700 |
---|---|---|
committer | Ricardo Cerqueira <cyanogenmod@cerqueira.org> | 2012-11-17 17:54:35 +0000 |
commit | 556389cda38bf17d4e3f10d518aaf12dcdff6d54 (patch) | |
tree | 82198cb4227f65fe9920b81d966710fe7eb890f7 /core | |
parent | 6fc66682a384bbc078b4a90bab57db76e99b78e5 (diff) | |
download | build-556389cda38bf17d4e3f10d518aaf12dcdff6d54.zip build-556389cda38bf17d4e3f10d518aaf12dcdff6d54.tar.gz build-556389cda38bf17d4e3f10d518aaf12dcdff6d54.tar.bz2 |
kernel.mk: fix compiled kernel copy
Change-Id: Ifb2a3d4968e56eed236eaa2db9258cd0b8865fda
Diffstat (limited to 'core')
-rw-r--r-- | core/tasks/kernel.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/core/tasks/kernel.mk b/core/tasks/kernel.mk index 444375b..e397a96 100644 --- a/core/tasks/kernel.mk +++ b/core/tasks/kernel.mk @@ -60,6 +60,7 @@ ifeq "$(wildcard $(KERNEL_SRC) )" "" $(error "NO KERNEL") endif else + NEEDS_KERNEL_COPY := true ifeq ($(TARGET_KERNEL_CONFIG),) $(warning **********************************************************) $(warning * Kernel source found, but no configuration was defined *) |