diff options
Diffstat (limited to 'TAO/docs/compiler.html')
-rw-r--r-- | TAO/docs/compiler.html | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/TAO/docs/compiler.html b/TAO/docs/compiler.html index 604920dad12..bb00c007a0f 100644 --- a/TAO/docs/compiler.html +++ b/TAO/docs/compiler.html @@ -681,6 +681,21 @@ also receives other options that are specific to it.<p> <td>Default is value of -o option or current directory </td> </tr> + <tr><a name="oE"> + <td><tt>-oE </tt><i>path</i></td> + + <td>Same as -o option but applies only to generated *_exec.* files </td> + <td>Default is value of -o option or current directory </td> + </tr> + + <tr><a name="oN"> + <td><tt>-oN </tt><i>path</i></td> + + <td>Do not overwrite *_exec.* files </td> + <td>When -Gex option is used, executor implementation files shouldn't be overwritten + if they are already in the output directory. </td> + </tr> + <tr><a name="hc"> <td><tt>-hc</tt></td> |