78 PRINTSOURCE("-printsource"), |
78 PRINTSOURCE("-printsource"), |
79 WARNUNCHECKED("-warnunchecked"), |
79 WARNUNCHECKED("-warnunchecked"), |
80 XMAXERRS("-Xmaxerrs"), |
80 XMAXERRS("-Xmaxerrs"), |
81 XMAXWARNS("-Xmaxwarns"), |
81 XMAXWARNS("-Xmaxwarns"), |
82 XSTDOUT("-Xstdout"), |
82 XSTDOUT("-Xstdout"), |
|
83 XPKGINFO("-Xpkginfo:"), |
83 XPRINT("-Xprint"), |
84 XPRINT("-Xprint"), |
84 XPRINTROUNDS("-XprintRounds"), |
85 XPRINTROUNDS("-XprintRounds"), |
85 XPRINTPROCESSORINFO("-XprintProcessorInfo"), |
86 XPRINTPROCESSORINFO("-XprintProcessorInfo"), |
86 XPREFER("-Xprefer:"), |
87 XPREFER("-Xprefer:"), |
87 O("-O"), |
88 O("-O"), |