cancel the execution of the current script file. This is a ignored when
used on the interactive command line.</p></optdesc>
</option>
cancel the execution of the current script file. This is a ignored when
used on the interactive command line.</p></optdesc>
</option>