0.txt 1.txt: $(DUMPWORD) $(TESTSH)
@sh $(TESTSH) >>$@ 2>$(ERRFILE); \
if test -s $(ERRFILE); then cat err.txt >>$@; else rm -f $(ERRFILE); fi
0.txt 1.txt: $(DUMPWORD) $(TESTSH)
@sh $(TESTSH) >>$@ 2>$(ERRFILE); \
if test -s $(ERRFILE); then cat err.txt >>$@; else rm -f $(ERRFILE); fi