diff options
author | Chris Johns <chrisj@rtems.org> | 2016-11-07 10:33:17 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2016-11-07 10:33:17 +1100 |
commit | ea91103855c1a1830b7c8401415882a73dbffcd7 (patch) | |
tree | 585d4b58a193ee21dc83980921a8492aa48404a1 | |
parent | README: Add packages for building on Arch. (diff) | |
download | rtems-docs-ea91103855c1a1830b7c8401415882a73dbffcd7.tar.bz2 |
waf: Add a program test for pygmentize.
-rw-r--r-- | common/latex.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/common/latex.py b/common/latex.py index acbd341..fc38552 100644 --- a/common/latex.py +++ b/common/latex.py @@ -134,6 +134,9 @@ def configure_tests(conf): tests.remove(e) fails = 0 + r = conf.find_program("pygmentize", mandatory = False) + if r is None: + fails += 1 for t in tests: r = conf.test(build_fun = build_latex_test, msg = "Checking for Tex package '%s'" % (t), |