diff options
Diffstat (limited to 'doc/dejagnu.texi')
| -rw-r--r-- | doc/dejagnu.texi | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/dejagnu.texi b/doc/dejagnu.texi index bb386e8..cd8c4e9 100644 --- a/doc/dejagnu.texi +++ b/doc/dejagnu.texi @@ -644,6 +644,11 @@ The host board to use. @item @code{--ignore [tests(s)] } The name(s) of specific tests to ignore. +@item @code{--keep_going} +Continue testing when test scripts encounter recoverable fatal errors. +Such errors always cause the offending test script to abort +immediately, but DejaGnu may be able to continue with the next script. + @item @code{--local_init [name]} Use @emph{name} as the testsuite local init file instead of @file{site.exp} in the current directory and in @emph{objdir}. The |