diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2019-09-24 16:42:19 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2019-09-24 16:42:40 +0200 |
| commit | 79f6eb179a0a8f0a2fb611d5cf7aafe8e27dd58e (patch) | |
| tree | 75304679b4b2ef82c318e31e67c6b2df542fba3f /dev-games | |
| parent | profiles: Drop masks for removed packages. (diff) | |
| download | gentoo-79f6eb179a0a8f0a2fb611d5cf7aafe8e27dd58e.tar.gz gentoo-79f6eb179a0a8f0a2fb611d5cf7aafe8e27dd58e.tar.bz2 gentoo-79f6eb179a0a8f0a2fb611d5cf7aafe8e27dd58e.zip | |
games-strategy/colobot: Workaround the Ninja build problem
Call po4a early in order to provide files required for manpage builds.
Those files are normally provided implicitly by dependant target call
but that is not good enough for Ninja.
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'dev-games')
0 files changed, 0 insertions, 0 deletions