build: Actually use config=coverage
This commit is contained in:
parent
440116a75b
commit
ff85f2106c
@ -7,5 +7,5 @@ env:
|
|||||||
- DEFINES=standard
|
- DEFINES=standard
|
||||||
- DEFINES=PUGIXML_WCHAR_MODE
|
- DEFINES=PUGIXML_WCHAR_MODE
|
||||||
- DEFINES=PUGIXML_COMPACT
|
- DEFINES=PUGIXML_COMPACT
|
||||||
script: make test defines=$DEFINES -j2
|
script: make test defines=$DEFINES config=coverage -j2
|
||||||
after_success: bash <(curl -s https://codecov.io/bash)
|
after_success: bash <(curl -s https://codecov.io/bash)
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user