diff options
author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-02-19 15:45:36 +0100 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-02-19 15:45:36 +0100 |
commit | 7aa65416ea09470ae24353c36a51f07c5fc1e8a6 (patch) | |
tree | 4870ac5d26c0e49e04e0f915f27e5c8b5446dc61 /bench/src | |
parent | d28125447f734560b3738a2642a29157e8830169 (diff) | |
download | dotty-7aa65416ea09470ae24353c36a51f07c5fc1e8a6.tar.gz dotty-7aa65416ea09470ae24353c36a51f07c5fc1e8a6.tar.bz2 dotty-7aa65416ea09470ae24353c36a51f07c5fc1e8a6.zip |
Allow disabling squarshing
Do not die if phases aren't squashed
Diffstat (limited to 'bench/src')
0 files changed, 0 insertions, 0 deletions