diff options
author | Chris Johns <chrisj@rtems.org> | 2019-03-01 13:06:11 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2019-03-01 13:06:11 +1100 |
commit | 1393ba0c97648fd2560a13c99aff3f1885cab64e (patch) | |
tree | c05beef544d6bdb44bb67c2e0dd5161967718c64 /common | |
parent | d5b631fa3bcd822815c7f875432b15e8b9875395 (diff) |
waf: Fix argument bug getting extra source.
Diffstat (limited to 'common')
-rw-r--r-- | common/waf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/common/waf.py b/common/waf.py index 6a65b42..d71541e 100644 --- a/common/waf.py +++ b/common/waf.py @@ -325,7 +325,7 @@ def doc_pdf(ctx, source_dir, conf_dir, sources): rule = rule, cwd = ctx.path, source = sources_source(ctx, sources), - depends_on = sources_extra(sources), + depends_on = sources_extra(ctx, sources), target = ctx.path.find_or_declare("%s/%s.tex" % (buildtype, ctx.path.name)) ) |