mirror of https://github.com/davatorium/rofi.git
Fix document coverage tool.
This commit is contained in:
parent
cd99b0b063
commit
89cf6d2d63
|
@ -75,7 +75,7 @@ script:
|
|||
- make distcheck
|
||||
- git clone https://github.com/alobbs/doxy-coverage
|
||||
- make doxy
|
||||
- ./doxy-coverage/doxy-coverage.py html/xml/
|
||||
- ./doxy-coverage/doxy-coverage.py doc/html/xml/
|
||||
|
||||
after_success:
|
||||
- bash <(curl -s https://codecov.io/bash)
|
||||
|
|
Loading…
Reference in New Issue