diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/testscript.cli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/testscript.cli b/doc/testscript.cli index 3e79ba8..26fae67 100644 --- a/doc/testscript.cli +++ b/doc/testscript.cli @@ -760,7 +760,7 @@ out-redirect: '>-'|\ ('>>'|'>>:') <here-end>|\ ('>>>'|'>>>&') <file> -cleanup: '&' (<file>|<dir>) +cleanup: ('&'|'&!'|'&?') (<file>|<dir>) command-exit: ('=='|'!=') <exit-status> |