if [ "$(PROFILE)" != "Default" ]; then \
if [ -d $(PLATFORM_DIR)/base-files/profile-$(PROFILE)/. ]; then \
$(CP) $(PLATFORM_DIR)/base-files/profile-$(PROFILE)/* $(1)/; \
fi; \
fi
$(SED) 's,$$$$R,r$(REV),g' $(1)/etc/banner
if [ "$(PROFILE)" != "Default" ]; then \
if [ -d $(PLATFORM_DIR)/base-files/profile-$(PROFILE)/. ]; then \
$(CP) $(PLATFORM_DIR)/base-files/profile-$(PROFILE)/* $(1)/; \
fi; \
fi
$(SED) 's,$$$$R,r$(REV),g' $(1)/etc/banner