- $(ECHO) -n " $${file} "; grep --text '##' $${file}.log || echo ' ## (no description)'; \
- if advent $${file}.log >/tmp/regress$$$$ 2>&1; \
+ $(ECHO) -n " $${file} "; grep '##' $${file}.log || echo ' ## (no description)'; \
+ OPTS=`sed -n /#options:/s///p <$${file}.log`; \
+ if advent $$OPTS < $${file}.log >/tmp/regress$$$$ 2>&1; \