equal
deleted
inserted
replaced
405 helper.put(PLUGIN.text, (prev == null) ? p : prev + '\0' + p.trim()); |
405 helper.put(PLUGIN.text, (prev == null) ? p : prev + '\0' + p.trim()); |
406 return false; |
406 return false; |
407 } |
407 } |
408 }, |
408 }, |
409 |
409 |
|
410 XDIAGS("-Xdiags:", "opt.diags", EXTENDED, BASIC, ONEOF, "compact", "verbose"), |
|
411 |
410 /* This is a back door to the compiler's option table. |
412 /* This is a back door to the compiler's option table. |
411 * -XDx=y sets the option x to the value y. |
413 * -XDx=y sets the option x to the value y. |
412 * -XDx sets the option x to the value x. |
414 * -XDx sets the option x to the value x. |
413 */ |
415 */ |
414 XD("-XD", null, HIDDEN, BASIC) { |
416 XD("-XD", null, HIDDEN, BASIC) { |