Manish Goregaokar 3c4f5bfae2
Use rustc_driver::run (fixes #2303)
This internally uses monitor() which catches panics and stuff
2018-01-17 14:04:42 +01:00
..
2018-01-17 14:04:42 +01:00