bugpoint: skip ports with (* keep *) on; add header
authorEddie Hung <eddie@fpgeh.com>
Fri, 24 Apr 2020 18:17:09 +0000 (11:17 -0700)
committerEddie Hung <eddie@fpgeh.com>
Fri, 24 Apr 2020 18:17:09 +0000 (11:17 -0700)
commit4bfe6ebea929fb221853f775570ec5c7ccc5fac4
treeb126882b8bbd309ec8239ecf2019978dbf99c3eb
parentbf021a0e1f0883c017242d4a2057d2acf239330b
bugpoint: skip ports with (* keep *) on; add header
passes/cmds/bugpoint.cc