Changes in boot/Makefile [53238ba:ea906c29] in mainline

File:

• boot/Makefile (modified) (1 diff)

boot/Makefile

@@ -80 +80 @@
                 cp "$(USPACE_PATH)/$(DRVS_PATH)/$$file_dir/$$file_name/$$file_name.dev" "$(DIST_PATH)/$(DRVS_PATH)/$$file_name/" ; \
         done
-        if ls $(DIST_OVERLAY_PATH)/* >/dev/null; then \
-                cp -r -L $(DIST_OVERLAY_PATH)/* "$(DIST_PATH)"; \
-        fi
 
 clean: clean_dist