diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-01-11 12:57:51 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-11 12:57:51 -0800 |
| commit | 8613437393d1e6cdb81d7bc3a94760a5faba3601 (patch) | |
| tree | da3365f9b55ed4534ef7ff0b521c3e9dfdd71896 /.gitignore | |
| parent | 84e824fbee65c447a53c38762d4db978da17d33b (diff) | |
Use order-only dependency of cmark.3 on PROG.
This fixes a problem with some parallel builds.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions