jdt-core-home/howto/batch compile/batchCompile.html

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.5, Thu Jul 22 01:25:43 2004 UTC revision 1.6, Thu Nov 4 20:52:25 2004 UTC
# Line 142  Line 142 
142  <p>In <font color="#FF0000">red</font> are the default settings.</p>  <p>In <font color="#FF0000">red</font> are the default settings.</p>
143  <p>  <p>
144  <pre>  <pre>
145      -warn:<warnings separated by ,>    enable exactly the listed warnings      -warn:&lt;warnings separated by ,&gt;    enable exactly the listed warnings
146      -warn:+<warnings separated by ,>   enable additional warnings      -warn:+&lt;warnings separated by ,&gt;   enable additional warnings
147      -warn:-<warnings separated by ,>   disable specific warnings      -warn:-&lt;warnings separated by ,&gt;   disable specific warnings
148  </pre>  </pre>
149  <table>  <table>
150  <tr>  <tr>
Legend:
Removed from v.1.5  
changed lines
  Added in v.1.6