X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?p=YACASL2.git;a=blobdiff_plain;f=test%2Fintegration%2Fcomet2%2FTEST.mk;h=3ec7fed70e1f42c80c0300d56a63cd5f3df74fc3;hp=d2174d7ba48a447a287ba3dbce28f0e5aa64cc38;hb=334c19694d0805e80432c2f126ac13ec3123a965;hpb=555e213c3a100db431fec78cbba6dfed8e541e2a diff --git a/test/integration/comet2/TEST.mk b/test/integration/comet2/TEST.mk index d2174d7..3ec7fed 100644 --- a/test/integration/comet2/TEST.mk +++ b/test/integration/comet2/TEST.mk @@ -15,13 +15,13 @@ clean: cleanall: clean @rm -f 0.txt $(OBJFILE) $(OBJFILE): $(CASL2) $(ASFILE) - @$(CASL2) $(CASL2FLAG) -O$(OBJFILE) $(ASFILE) 2>$(ERRFILE) + @$(CASL2) $(CASL2FLAG) -O $(ASFILE) 2>$(ERRFILE) 0.txt 1.txt: $(COMET2) $(OBJFILE) @echo $(CMD) >$@; \ $(CMD) >>$@ 2>$(ERRFILE); \ if test -s $(ERRFILE); then cat err.txt >>$@; else rm -f $(ERRFILE); fi diff.txt: 1.txt - @-diff 0.txt 1.txt >$@ 2>&1 + @-diff -c 0.txt 1.txt >$@ 2>&1 report.txt: diff.txt @echo -n "$(UNITNAME): Test " >$@; \ if test ! -s $^; then echo -n "Success " >>$@; rm -f $^; else echo -n "Failure " >>$@; fi; \