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 | fca7878123f124e0106952f79830203fc0d04820 (diff) |
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), |