comparison: make/project.xml
make/project.xml
- changeset 788
- b34ff44e6433
- parent 772
- 4586a84c0c0b
- child 797
- e0300c2c4e95
equal
deleted
inserted
replaced
| 787:d0f02310aa47 | 788:b34ff44e6433 |
|---|---|
| 68 <dependency name="pandoc"> | 68 <dependency name="pandoc"> |
| 69 <test>test -n "$PANDOC"</test> | 69 <test>test -n "$PANDOC"</test> |
| 70 </dependency> | 70 </dependency> |
| 71 | 71 |
| 72 <dependency name="coverage"> | 72 <dependency name="coverage"> |
| 73 <cflags>--coverage</cflags> | 73 <cflags>\${COVERAGE_CFLAGS}</cflags> |
| 74 <ldflags>--coverage</ldflags> | 74 <ldflags>\${COVERAGE_LDFLAGS}</ldflags> |
| 75 </dependency> | 75 </dependency> |
| 76 | 76 |
| 77 <target> | 77 <target> |
| 78 <option arg="with-docs"> | 78 <option arg="with-docs"> |
| 79 <value str="all"> | 79 <value str="all"> |
