diff options
| author | Chris Johns <chrisj@rtems.org> | 2016-11-08 16:08:54 +1100 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2016-11-08 16:08:54 +1100 |
| commit | 227aaea4948118e3e79311ea90e4c2c5f756b873 (patch) | |
| tree | f9badb58168d6dad250db8e95f5575406c0aed53 | |
| parent | waf: Use the good fonts if installed. (diff) | |
| download | rtems-docs-227aaea4948118e3e79311ea90e4c2c5f756b873.tar.bz2 | |
waf: Get a copy of the optional packages.
| -rw-r--r-- | common/latex.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/common/latex.py b/common/latex.py index b3ca60c..bf5c91d 100644 --- a/common/latex.py +++ b/common/latex.py @@ -128,7 +128,7 @@ def configure_tests(conf): tests = sorted(package_tests.keys()) local_packs = local_packages() - excludes = package_optional + excludes = [p for p in package_optional] if local_packs is not None: excludes += [p[:p.rfind('.')] for p in local_packs] for e in excludes: @@ -157,7 +157,7 @@ def configure_tests(conf): msg = "Checking for Tex package '%s'" % (t), tex_test = t, okmsg = 'ok', - errmsg = 'degraded fonts', + errmsg = 'not found (degraded fonts)', mandatory = False) if r is None: fails += 1 |