diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/testscript.cli | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/testscript.cli b/doc/testscript.cli index 20d9c2d..c539903 100644 --- a/doc/testscript.cli +++ b/doc/testscript.cli @@ -2777,6 +2777,11 @@ env - --unset=FOO -- $* Terminate the command if it fails to complete within the specified number of seconds. See also the \l{#builtins-timeout \c{timeout}} builtin.| +\li|\n\c{-s|--timeout-success} + + Assume the command terminated due to the timeout specified with the + \c{-t|--timeout} option to have succeeded.| + \li|\n\c{-c|--cwd <dir>} Change the command's working directory.| |