diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2016-02-05 21:21:53 +0100 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2016-02-06 01:12:41 +0100 |
commit | b33babc2398e5013820e21568713fdb6c15aa6fa (patch) | |
tree | cc0bd4cff43c6cfa7e3a1c2c9a09680fcc7d949d /bin | |
parent | 4d988825e41a789383bdb53b5ef4ac68e37ad96d (diff) | |
download | dotty-b33babc2398e5013820e21568713fdb6c15aa6fa.tar.gz dotty-b33babc2398e5013820e21568713fdb6c15aa6fa.tar.bz2 dotty-b33babc2398e5013820e21568713fdb6c15aa6fa.zip |
Do not use the plain printer with -Ydebug
Instead, a new setting called -Yplain-printer is used for this.
After this commit, we can now run all tests with -Ydebug (this was not
the case before because using the plain printer breaks -Ytest-pickler)
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions