comparison: make/project.xml
make/project.xml
- changeset 815
- b0c4750cecd8
- parent 797
- e0300c2c4e95
- child 825
- 3f324ea53152
equal
deleted
inserted
replaced
| 814:5f9e07d3dd6c | 815:b0c4750cecd8 |
|---|---|
| 67 | 67 |
| 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" toolchain="gnuc"> |
| 73 <cflags>\${COVERAGE_CFLAGS}</cflags> | 73 <cflags>\${COVERAGE_CFLAGS}</cflags> |
| 74 <ldflags>\${COVERAGE_LDFLAGS}</ldflags> | 74 <ldflags>\${COVERAGE_LDFLAGS}</ldflags> |
| 75 </dependency> | 75 </dependency> |
| 76 | 76 |
| 77 <target> | 77 <target> |
