diff options
| author | Jason Zaugg <jzaugg@gmail.com> | 2014-02-17 18:54:46 +0100 |
|---|---|---|
| committer | Jason Zaugg <jzaugg@gmail.com> | 2014-02-17 21:30:51 +0100 |
| commit | 0538e7fd086c39226b2d005865eee07bb83f5b2e (patch) | |
| tree | ce981a3175ee5ef92e3705a3ca728129c079ab3f /.mailmap | |
| parent | 55549bfa41f4a19c9556b71791de35875e8229dc (diff) | |
| download | scala-0538e7fd086c39226b2d005865eee07bb83f5b2e.tar.gz scala-0538e7fd086c39226b2d005865eee07bb83f5b2e.tar.bz2 scala-0538e7fd086c39226b2d005865eee07bb83f5b2e.zip | |
Group settings should honor user-set individual options
In the last commit, we added the ability to explicitly disable
boolean settings form the command line.
This commit changes group settings (like -optimize), to leave
them alone if set explicitly.
Examples:
`scalac -Xlint -Ywarn-unused:false -optimize -Yinline:false`
The mechanism for such settings has also been refactored to
`MutableSettings`, to let use reuse this for `-Xlint`.
Diffstat (limited to '.mailmap')
0 files changed, 0 insertions, 0 deletions