X-Git-Url: http://git.openwrt.org/?p=openwrt%2Fopenwrt.git;a=blobdiff_plain;f=include%2Fkernel-defaults.mk;h=3aa1baa7610d95f88aea10e4896e12164bda8445;hp=e5a0ba367bffd5a09556a039d6c81940bed9dcd8;hb=0b0e97853a1ba4544185afb030aad81b38321c56;hpb=a17b8eaa2e4b319b7069170398fe965786a813e9

diff --git a/include/kernel-defaults.mk b/include/kernel-defaults.mk
index e5a0ba367b..3aa1baa761 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