Commit 6f039027f8ebff929d6ee1bf4a357832154a9ad3 Parent a5c3cda8acf1cb22f04b41c9edcc06938468b12a Author John MacFarlane <jgm@berkeley.edu> Date Wed, 15 Jul 2015 13:39:32 -0700 Improved clang-check target.