mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-07 15:22:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

m Emphasis added.

Browse Source 
Author:halw
Date:2011-02-24T13:02:10.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@788 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
halw
2011-02-24 13:02:10 +00:00
parent eda3c1a9a7
commit 5f130b7f5f
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/eiffelstudio-using-command-line-options.wiki
View File

@@ -218,7 +218,7 @@ The table below lists the available ''options'', the arguments they require, and
|}
{{note|In the third column, to print means to produce the requested information on the default output of the '''ec''' command.}}
{{note|In the third column, to '''print''' means to produce the requested information on the default output of the '''ec''' command.}}
{{note|When using '''-finalize''', assertions will be discarded (unlike in EiffelStudio which asks first.) The assertion disposition specified in the project configuration file can be retained in finalization by combining the '''-keep''' option with '''-finalize'''.}}