Commit 09bebcb1de0fea76be8653bed427712fb615a610 Parent eb2fe43c5b0bdf11d8b526441b777fb456f108e2 Author John MacFarlane <jgm@berkeley.edu> Date Tue, 14 Jul 2015 23:51:44 -0700 Added clang-check target.