Index: boot/Makefile
===================================================================
--- boot/Makefile	(revision cc920764c0b95a32b80fa6be5377d3d50cdf4126)
+++ boot/Makefile	(revision 8988fdea211b9827f60cfe7ed099a0d1bad17fcd)
@@ -117,5 +117,5 @@
 		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