diff options
| author | Daniel Golle <daniel@makrotopia.org> | 2020-09-01 14:34:15 +0100 |
|---|---|---|
| committer | Daniel Golle <daniel@makrotopia.org> | 2020-09-01 14:35:00 +0100 |
| commit | 76368a5c0ac0ce3e66a9451637937361d9bc0f78 (patch) | |
| tree | d05d8684a5a1a87112c3cf102ffa909ecfb4109b /toolchain | |
| parent | d136848b8b8081370d41461c9685affcd3222e8c (diff) | |
| download | upstream-76368a5c0ac0ce3e66a9451637937361d9bc0f78.tar.gz upstream-76368a5c0ac0ce3e66a9451637937361d9bc0f78.tar.bz2 upstream-76368a5c0ac0ce3e66a9451637937361d9bc0f78.zip | |
refpolicy: skip building docs
Building docs requires xmllint and other bulky things being present on
the host. Skip that.
Signed-off-by: Daniel Golle <daniel@makrotopia.org>
Diffstat (limited to 'toolchain')
0 files changed, 0 insertions, 0 deletions