diff options
| -rw-r--r-- | pc/Makefile.tst | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/pc/Makefile.tst b/pc/Makefile.tst index 09a061d5..c4b98e49 100644 --- a/pc/Makefile.tst +++ b/pc/Makefile.tst @@ -3163,11 +3163,6 @@ profile9: @AWKPATH="$(srcdir)" $(AWK) -f $@.awk --pretty-print=_$@ >_$@ 2>&1 || echo EXIT CODE: $$? >>_$@ @-$(CMP) "$(srcdir)"/$@.ok _$@ && rm -f _$@ -profile16: - @echo $@ - @AWKPATH="$(srcdir)" $(AWK) -f $@.awk --pretty-print=_$@ >_$@ 2>&1 || echo EXIT CODE: $$? >>_$@ - @-$(CMP) "$(srcdir)"/$@.ok _$@ && rm -f _$@ - regexsub: @echo $@ @AWKPATH="$(srcdir)" $(AWK) -f $@.awk >_$@ 2>&1 || echo EXIT CODE: $$? >>_$@ |