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 e1b92bf9..97f2ed52 100644 --- a/test/Maketests +++ b/test/Maketests @@ -1257,6 +1257,11 @@ symtab7: @AWKPATH="$(srcdir)" $(AWK) -f $@.awk < "$(srcdir)"/$@.in >_$@ 2>&1 || echo EXIT CODE: $$? >>_$@ @-$(CMP) "$(srcdir)"/$@.ok _$@ && rm -f _$@ +timeout: + @echo $@ + @AWKPATH="$(srcdir)" $(AWK) -f $@.awk >_$@ 2>&1 || echo EXIT CODE: $$? >>_$@ + @-$(CMP) "$(srcdir)"/$@.ok _$@ && rm -f _$@ + double1: @echo $@ @AWKPATH="$(srcdir)" $(AWK) -f $@.awk >_$@ 2>&1 || echo EXIT CODE: $$? >>_$@ |