diff options
Diffstat (limited to 'pc/Makefile.tst')
| -rw-r--r-- | pc/Makefile.tst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pc/Makefile.tst b/pc/Makefile.tst index 069431b8..a842981b 100644 --- a/pc/Makefile.tst +++ b/pc/Makefile.tst @@ -2799,7 +2799,7 @@ nondec: nonfatal1: @echo $@ - @AWKPATH="$(srcdir)" $(AWK) -f $@.awk >_$@ 2>&1 || echo EXIT CODE: $$? >>_$@ + @AWKPATH="$(srcdir)" $(AWK) -f $@.awk 2>&1 | $(AWK) '{print gensub(/invalid.*$$/, "invalid", 1, $$0)}' >_$@ || echo EXIT CODE: $$? >>_$@ @-$(CMP) "$(srcdir)"/$@.ok _$@ && rm -f _$@ nonfatal2: |