comparison: make/project.xml
make/project.xml
- changeset 960
- a8a5f3dd5c3d
- parent 842
- b48cbfa109d4
equal
deleted
inserted
replaced
| 959:0e1bf3c199bf | 960:a8a5f3dd5c3d |
|---|---|
| 71 | 71 |
| 72 <dependency name="pandoc"> | 72 <dependency name="pandoc"> |
| 73 <test>test -n "$PANDOC"</test> | 73 <test>test -n "$PANDOC"</test> |
| 74 </dependency> | 74 </dependency> |
| 75 | 75 |
| 76 <dependency name="coverage" toolchain="gnuc"> | 76 <dependency name="coverage" toolchain="gcc"> |
| 77 <cflags>\${COVERAGE_CFLAGS}</cflags> | 77 <cflags>\${COVERAGE_CFLAGS}</cflags> |
| 78 <ldflags>\${COVERAGE_LDFLAGS}</ldflags> | 78 <ldflags>\${COVERAGE_LDFLAGS}</ldflags> |
| 79 </dependency> | 79 </dependency> |
| 80 | 80 |
| 81 <target> | 81 <target> |
