changeset 8637 | be1b564b50aa |
parent 7681 | 1f0819a3341f |
child 9087 | e9e44877cd18 |
8636:baa2c3dffe9b | 8637:be1b564b50aa |
---|---|
86 XPRINTPROCESSORINFO("-XprintProcessorInfo"), |
86 XPRINTPROCESSORINFO("-XprintProcessorInfo"), |
87 XPREFER("-Xprefer:"), |
87 XPREFER("-Xprefer:"), |
88 O("-O"), |
88 O("-O"), |
89 XJCOV("-Xjcov"), |
89 XJCOV("-Xjcov"), |
90 XD("-XD"), |
90 XD("-XD"), |
91 AT("@"), |
|
91 SOURCEFILE("sourcefile"); |
92 SOURCEFILE("sourcefile"); |
92 |
93 |
93 public final String optionName; |
94 public final String optionName; |
94 |
95 |
95 OptionName(String optionName) { |
96 OptionName(String optionName) { |