Changeset 8988fde in mainline for boot/Makefile

Timestamp:

2017-10-21T19:40:53Z (7 years ago)

Author:

jzr <zarevucky.jiri@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

3277fb0

Parents:

cc92076

Message:

Fix overlay checking. My mistake.

File:

• boot/Makefile (modified) (1 diff)

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