diff options
author | Matt Merhar <mattmerhar@protonmail.com> | 2021-02-25 23:28:53 -0500 |
---|---|---|
committer | Hauke Mehrtens <hauke@hauke-m.de> | 2021-05-23 15:11:38 +0200 |
commit | cc76e34c10e57cb1a4f7971268a77aad2f24c8ca (patch) | |
tree | add5a62b03b513b7f388ca6c85a2e98200bd6267 | |
parent | 42cd06f7fe49668399a010db8f5d2100e45465a9 (diff) | |
download | upstream-cc76e34c10e57cb1a4f7971268a77aad2f24c8ca.tar.gz upstream-cc76e34c10e57cb1a4f7971268a77aad2f24c8ca.tar.bz2 upstream-cc76e34c10e57cb1a4f7971268a77aad2f24c8ca.zip |
kernel-defaults: fix external kernel build when user_headers is missing
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>
-rw-r--r-- | include/kernel-defaults.mk | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/include/kernel-defaults.mk b/include/kernel-defaults.mk index 82bc32256d..e71746f651 100644 --- a/include/kernel-defaults.mk +++ b/include/kernel-defaults.mk @@ -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 |