diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2024-04-12 17:09:35 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2024-04-12 17:09:35 +0200 |
| commit | ce4848cfaaa569da3e11de51f4174eb21709b9b9 (patch) | |
| tree | dd9918fd6b769591912c4e6dbbb05ac73364035b /doc | |
| parent | 33be784e4b991a95d3ef14a6ef555f1299ec7021 (diff) | |
The semantics is equivalent to the --success option we already have in the
timeout builtin.
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.| |