aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/testscript.cli7
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