diff options
Diffstat (limited to 'mk/linux.mk')
-rw-r--r-- | mk/linux.mk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/mk/linux.mk b/mk/linux.mk index b81b8f9..22f4cd6 100644 --- a/mk/linux.mk +++ b/mk/linux.mk @@ -75,7 +75,8 @@ download_linux download_linux_headers: # clean target and macros # define embtk_cleanup_linux - if [ -d $(LINUX_BUILD_DIR) ]; then \ + if [ -d $(LINUX_BUILD_DIR) ] && \ + [ -e $(call __embtk_pkg_dotinstalled_f,linux_headers) ]; then \ $(MAKE) -C $(LINUX_BUILD_DIR) distclean; \ rm -rf $$(call __embtk_pkg_dotinstalled_f,linux_headers); \ fi |