mirror of
https://github.com/keymanapp/keyman.git
synced 2026-08-12 20:05:34 +00:00
Since keyman-system-service is a dependency of ibus-keyman it gets build when ibus-keyman gets build. However, in that case the `--coverage` flag doesn't get passed through in which case the `coverage-html` target is missing from ninja. This change fixes this problem by checking if ninja has the `coverage-html` target. If not we remove the output directory which causes the configure action to run again with the `--coverage` option. |
||
|---|---|---|
| .. | ||
| debian | ||
| help | ||
| ibus-keyman | ||
| keyman-config | ||
| keyman-system-service | ||
| scripts | ||
| .gitignore | ||
| .pbuilderrc | ||
| build.sh | ||
| CodeCoverageReports.html | ||
| Dockerfile | ||
| history.md | ||
| LICENSE.md | ||
| Makefile | ||
| README.md | ||
Keyman for Linux
See /docs/linux/README.md for documentation.