diff options
Diffstat (limited to 'test/Maketests')
| -rw-r--r-- | test/Maketests | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/Maketests b/test/Maketests index 6982870d..4bee1ddc 100644 --- a/test/Maketests +++ b/test/Maketests @@ -1637,6 +1637,11 @@ lintlength: @AWKPATH="$(srcdir)" $(AWK) -f $@.awk --lint >_$@ 2>&1 || echo EXIT CODE: $$? >>_$@ @-$(CMP) "$(srcdir)"/$@.ok _$@ && rm -f _$@ +lintplus: + @echo $@ + @AWKPATH="$(srcdir)" $(AWK) -f $@.awk --lint >_$@ 2>&1 || echo EXIT CODE: $$? >>_$@ + @-$(CMP) "$(srcdir)"/$@.ok _$@ && rm -f _$@ + lintold: @echo $@ @AWKPATH="$(srcdir)" $(AWK) -f $@.awk --lint-old < "$(srcdir)"/$@.in >_$@ 2>&1 || echo EXIT CODE: $$? >>_$@ |