Browse Source

Merge branch 'wwarthen:master' into master

pull/590/head
wdl1908 7 months ago
committed by GitHub
parent
commit
8475f29e43
No known key found for this signature in database GPG Key ID: B5690EEEBB952194
  1. 8
      Source/Images/Makefile

8
Source/Images/Makefile

@ -68,9 +68,9 @@ hd512_%.img: %.def
while read line; do \
line=$$(echo "$${line}" | sed 's/^[[:space:]]*//;s/[[:space:]]*$$//') ; \
if [ -z "$${line}" ]; then \
continue;
continue; \
fi; \
if [ "`expr substr "$$line" 1 1`" = "#" ]; then \
if [ "`echo ""$${line}"" | awk '{print substr($$0,1,1);exit}'`" = "#" ]; then \
continue; \
fi; \
file_list="$${file_list} hd512_$${line}.img"; \
@ -86,9 +86,9 @@ hd1k_%.img: %.def
while read line; do \
line=$$(echo "$${line}" | sed 's/^[[:space:]]*//;s/[[:space:]]*$$//') ; \
if [ -z "$${line}" ]; then \
continue;
continue; \
fi; \
if [ "`expr substr "$$line" 1 1`" = "#" ]; then \
if [ "`echo ""$${line}"" | awk '{print substr($$0,1,1);exit}'`" = "#" ]; then \
continue; \
fi; \
file_list="$${file_list} hd1k_$${line}.img"; \

Loading…
Cancel
Save