Write out a report if make report is killed with Ctrl-C
Write out a report if make report is killed with Ctrl-C

jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie