diff options
| -rw-r--r-- | doc/testscript.cli | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/testscript.cli b/doc/testscript.cli index 527a747..4c46786 100644 --- a/doc/testscript.cli +++ b/doc/testscript.cli @@ -1524,6 +1524,7 @@ in-redirect: '<-'|\ out-redirect: '>-'|\ '>|'|\ + '>!'|\ '>=' <file>|\ '>+' <file>|\ '>&' ('1'|'2')|\ @@ -1882,6 +1883,7 @@ for details. \ out-redirect: '>-'|\ '>|'|\ + '>!'|\ '>=' <file>|\ '>+' <file>|\ '>&' ('1'|'2')|\ @@ -1899,6 +1901,11 @@ stream (either \c{stdout} or \c{stderr}) is considered to have failed (unexpected output). To allow writing to the default \c{stdout} or \c{stderr} (for instance, if the test is really an example), the \c{>|} redirect is used. +The \c{>!} redirect acts like \c{>-} if the build system verbosity level is +below 2 and as \c{>|} otherwise. It is normally used to ignore diagnostics (as +opposed to data) during normal operation but to still be able to examine it, +for example, when debugging a failing test. + It is also possible to merge \c{stderr} to \c{stdout} or vice versa with a merge redirect (\c{>&}). In this case the left-hand-side descriptor (implied or explicit) must not be the same as the right-hand-side. Having both merge |