Changeset 53238ba in mainline for boot/Makefile

Timestamp:

2013-12-03T11:27:01Z (10 years ago)

Author:

Vojtech Horky <vojtechhorky@…>

Branches:

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

Children:

68bacce

Parents:

29b4888

Message:

Add overlay directory for extra files

Useful for adding extra applications into app/ etc.

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