X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=test%2Fintegration%2Fcomet2%2FTEST.mk;h=ffac1fd7e01448a81f5b63118630e258b944ffe0;hb=8a76ef9abe62fac15c40aebb64fbb8a541b78075;hp=0a386cb5babf17b67812748cca16dca06b079260;hpb=a4a4d9291958ee920beaec963000248b9523389b;p=YACASL2.git diff --git a/test/integration/comet2/TEST.mk b/test/integration/comet2/TEST.mk index 0a386cb..ffac1fd 100644 --- a/test/integration/comet2/TEST.mk +++ b/test/integration/comet2/TEST.mk @@ -12,14 +12,14 @@ UNITNAME = `pwd | xargs basename` check: clean report.txt prepare: cleanall 0.txt $(OBJFILE) clean: - @rm -f 1.txt diff.txt report.txt + @rm -f 1.txt diff.txt report.txt $(OBJFILE) cleanall: clean @rm -f 0.txt $(OBJFILE) $(OBJFILE): $(CASL2) $(ASFILE) - @$(CASL2) $(CASL2FLAG) -O $(ASFILE) 2>$(ERRFILE) + @-$(CASL2) $(CASL2FLAG) -O $(ASFILE) 2>$(ERRFILE) 0.txt 1.txt: $(COMET2) $(OBJFILE) @echo $(CMD) >$@; \ - $(CMD) >>$@ 2>$(ERRFILE); \ + if test -s $(OBJFILE); then $(CMD) >>$@ 2>$(ERRFILE); fi; \ if test -s $(ERRFILE); then cat err.txt >>$@; else rm -f $(ERRFILE); fi diff.txt: 1.txt @-diff -c 0.txt 1.txt >$@ 2>&1