Makefile: Warn if policy.xml xmllint check does not run.

Signed-off-by: Chris PeBenito <pebenito@ieee.org>
This commit is contained in:
Chris PeBenito 2020-03-19 13:48:34 -04:00
parent ecfaae80de
commit 9ee2a6d42e
2 changed files with 3 additions and 0 deletions

View File

@ -49,6 +49,7 @@ addons:
- libbz2-dev
- libpcre3-dev
- swig
- libxml2-utils
before_install:
- lsb_release -a

View File

@ -442,6 +442,8 @@ $(polxml): $(layerxml) $(tunxml) $(boolxml)
$(verbose) echo '</policy>' >> $@
$(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)