File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 4646
4747checkcmd = ./checktestdata $$opts $$prog $$data
4848checksucc = $(checkcmd ) >/dev/null 2>&1 || \
49- { echo "Running '$(checkcmd ) ' did not succeed..." ; exit 1; }
49+ { echo "Running '$(checkcmd ) '$${try:+ attempt $$try} did not succeed..." ; exit 1; }
5050checkfail = $(checkcmd ) >/dev/null 2>&1 && \
51- { echo "Running '$(checkcmd ) ' did not fail..." ; exit 1; }
51+ { echo "Running '$(checkcmd ) '$${try:+ attempt $$try} did not fail..." ; exit 1; }
5252
5353config.mk : config.mk.in
5454 $(error run ./bootstrap and/or configure to create config.mk)
@@ -98,7 +98,7 @@ check: checktestdata
9898 grep 'IGNORE GENERATE TESTING' $$i >/dev/null && continue ; \
9999 n=$${i# tests/testprog} ; n=$${n%.in} ; \
100100 prog=$$i ; \
101- for i in seq 10 ; do opts=-g ; $(checksucc) ; opts='' ; $(checksucc) ; done ; \
101+ for try in ` seq 10` ; do opts=-g ; $(checksucc) ; opts='' ; $(checksucc) ; done ; \
102102 done ; \
103103 rm -f $$TMP
104104
You can’t perform that action at this time.
0 commit comments