kernel-defaults: fix external kernel build when user_headers is missing
authorMatt Merhar <mattmerhar@protonmail.com>
Fri, 26 Feb 2021 04:28:53 +0000 (23:28 -0500)
committerHauke Mehrtens <hauke@hauke-m.de>
Sun, 23 May 2021 13:11:38 +0000 (15:11 +0200)
Use an 'if' so the absence of $(LINUX_DIR)/user_headers doesn't make the
line evaluate to false and cause the build to fail.

Signed-off-by: Matt Merhar <mattmerhar@protonmail.com>
include/kernel-defaults.mk

index 82bc32256db00d26a0a20ce52f057152886279f5..e71746f651c6aa5ebfdd1965001b3824c2cb2cb6 100644 (file)
@@ -43,7 +43,9 @@ else
                rmdir $(LINUX_DIR); \
        fi
        ln -s $(CONFIG_EXTERNAL_KERNEL_TREE) $(LINUX_DIR)
-       $(_SINGLE) [ -d $(LINUX_DIR)/user_headers ] && rm -rf $(LINUX_DIR)/user_headers
+       if [ -d $(LINUX_DIR)/user_headers ]; then \
+               rm -rf $(LINUX_DIR)/user_headers; \
+       fi
   endef
 endif