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 | |
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>
-rw-r--r-- | package/system/refpolicy/Makefile | 2 | ||||
-rw-r--r-- | package/system/refpolicy/patches/100-no-docs.patch | 12 |
2 files changed, 13 insertions, 1 deletions
diff --git a/package/system/refpolicy/Makefile b/package/system/refpolicy/Makefile index f1a33c8e79..c5a8a5cc32 100644 --- a/package/system/refpolicy/Makefile +++ b/package/system/refpolicy/Makefile @@ -7,7 +7,7 @@ include $(TOPDIR)/rules.mk PKG_NAME:=refpolicy PKG_VERSION:=2.20200229 -PKG_RELEASE:=1 +PKG_RELEASE:=2 PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.bz2 PKG_SOURCE_URL:=https://github.com/SELinuxProject/refpolicy/releases/download/RELEASE_2_20200229 diff --git a/package/system/refpolicy/patches/100-no-docs.patch b/package/system/refpolicy/patches/100-no-docs.patch new file mode 100644 index 0000000000..21767951a4 --- /dev/null +++ b/package/system/refpolicy/patches/100-no-docs.patch @@ -0,0 +1,12 @@ +Index: refpolicy-2.20200229/Makefile +=================================================================== +--- refpolicy-2.20200229.orig/Makefile ++++ refpolicy-2.20200229/Makefile +@@ -648,6 +648,6 @@ ifneq ($(generated_fc),) + endif + endif + +-.PHONY: install-src install-appconfig install-headers generate xml conf html bare tags ++.PHONY: install-src install-appconfig install-headers generate conf bare tags + .SUFFIXES: + .SUFFIXES: .c |