1665
1665
@$(AWK) --profile -f $(srcdir)/xref.awk $(srcdir)/dtdgport.awk > _$@.out1
1667
1667
@cmp _$@.out1 _$@.out2 && rm _$@.out[12] || echo EXIT CODE: $$? >>_$@
1672
1672
@sed 1,2d < awkprof.out > _$@; rm awkprof.out
1673
1673
@-$(CMP) $(srcdir)/$@.ok _$@ && rm -f _$@