Changes in boot/Makefile [cc92076:c8fbbe7] in mainline

File:

• boot/Makefile (modified) (2 diffs)

boot/Makefile

@@ -117 +117 @@
                 cp "$(USPACE_PATH)/$(DRVS_PATH)/$$file_dir/$$file_name/$$file_name.fw" "$(DIST_PATH)/$(DRVS_PATH)/$$file_name/" ; \
         done
-        if [ -d $(DIST_OVERLAY_PATH) ]; then \
+        if ls $(DIST_OVERLAY_PATH)/* >/dev/null 2>/dev/null; then \
                 cp -r -L $(DIST_OVERLAY_PATH)/* "$(DIST_PATH)"; \
         fi
@@ -128 +128 @@
         rm -f $(POST_OUTPUT) $(BOOT_OUTPUT) arch/*/include/common.h
         find generic/src/ arch/*/src/ genarch/src/ -name '*.o' -follow -exec rm \{\} \;
-        find generic/src/ arch/*/src/ genarch/src/ -name '*.d' -follow -exec rm \{\} \;
+        find . -name '*.d' -follow -exec rm \{\} \;
 
 clean_dist: