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

..

driver.rs

…

lib.rs

…

main.rs

…