diff options
| -rw-r--r-- | src/Makefile.housekeeping | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/Makefile.housekeeping b/src/Makefile.housekeeping index 4f0a8bb3..8edb0127 100644 --- a/src/Makefile.housekeeping +++ b/src/Makefile.housekeeping @@ -54,6 +54,14 @@ echo : ############################################################################### # +# Generate a usable "seq" substitute +# +define seq + $(shell awk 'BEGIN { for ( i = $(1) ; i <= $(2) ; i++ ) print i }') +endef + +############################################################################### +# # Determine host OS # HOST_OS := $(shell uname -s) @@ -495,7 +503,7 @@ $(EMBEDDED_LIST) : VERYCLEANUP += $(EMBEDDED_LIST) EMBEDDED_FILES := $(subst $(COMMA), ,$(EMBEDDED_IMAGE)) -EMBED_ALL := $(foreach i,$(shell seq 1 $(words $(EMBEDDED_FILES))),\ +EMBED_ALL := $(foreach i,$(call seq,1,$(words $(EMBEDDED_FILES))),\ EMBED ( $(i), \"$(word $(i), $(EMBEDDED_FILES))\",\ \"$(notdir $(word $(i),$(EMBEDDED_FILES)))\" )) |