From 9ee2a6d42e490b7b3a586a70f103434e8d85612a Mon Sep 17 00:00:00 2001 From: Chris PeBenito Date: Thu, 19 Mar 2020 13:48:34 -0400 Subject: [PATCH] Makefile: Warn if policy.xml xmllint check does not run. Signed-off-by: Chris PeBenito --- .travis.yml | 1 + Makefile | 2 ++ 2 files changed, 3 insertions(+) diff --git a/.travis.yml b/.travis.yml index 1253fc5c9..2a3bdc000 100755 --- a/.travis.yml +++ b/.travis.yml @@ -49,6 +49,7 @@ addons: - libbz2-dev - libpcre3-dev - swig + - libxml2-utils before_install: - lsb_release -a diff --git a/Makefile b/Makefile index a4089f8ff..a5eee18ff 100644 --- a/Makefile +++ b/Makefile @@ -442,6 +442,8 @@ $(polxml): $(layerxml) $(tunxml) $(boolxml) $(verbose) echo '' >> $@ $(verbose) if test -x $(XMLLINT) && test -f $(xmldtd); then \ $(XMLLINT) --noout --path $(dir $(xmldtd)) --dtdvalid $(xmldtd) $@ ;\ + else \ + echo "$@ XML validation not run. Please install the xmllint tool." ;\ fi xml: $(polxml)