diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2017-02-01 14:48:53 +0100 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2017-02-01 14:48:53 +0100 |
| commit | 65a27683fabadc2d1a9ab1b0dbbdb4857d3a3640 (patch) | |
| tree | b83993ec7557210988f33f4a5d4569db8364340b /Makefile | |
| parent | 238d16ef9e183275ab00a72ed61a280501b9bcad (diff) | |
Actually run the LLVM verifier; fix all problems
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions