Index: boot/Makefile
===================================================================
--- boot/Makefile	(revision 4761f54ee981ed05e6708beb4639428d34b524c8)
+++ boot/Makefile	(revision cc920764c0b95a32b80fa6be5377d3d50cdf4126)
@@ -117,5 +117,5 @@
 		cp "$(USPACE_PATH)/$(DRVS_PATH)/$$file_dir/$$file_name/$$file_name.fw" "$(DIST_PATH)/$(DRVS_PATH)/$$file_name/" ; \
 	done
-	if ls $(DIST_OVERLAY_PATH)/* >/dev/null; then \
+	if [ -d $(DIST_OVERLAY_PATH) ]; then \
 		cp -r -L $(DIST_OVERLAY_PATH)/* "$(DIST_PATH)"; \
 	fi