diff options
author | Amar Takhar <amar@rtems.org> | 2016-01-15 23:45:50 -0500 |
---|---|---|
committer | Amar Takhar <verm@darkbeer.org> | 2016-05-02 20:51:22 -0400 |
commit | f4defea4804908fa786bca4dcd7d04292fd26f69 (patch) | |
tree | f0fb505a0741e110c80bb3daf9a137cda794933a | |
parent | Initial reST documentation using Sphinx. (diff) | |
download | rtems-docs-f4defea4804908fa786bca4dcd7d04292fd26f69.tar.bz2 |
Check for non existent directories when building 'book'.
-rw-r--r-- | book/wscript | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/book/wscript b/book/wscript index 5c297a3..e300add 100644 --- a/book/wscript +++ b/book/wscript @@ -1,5 +1,5 @@ from sys import path -from os.path import abspath +from os.path import abspath, exists path.append(abspath('../common/')) from waf import cmd_configure, cmd_build @@ -13,7 +13,6 @@ def build(ctx): "user", "rtemsconfig", "shell", - "commands", "ada_user", "bsp_howto", "c_user", @@ -28,6 +27,11 @@ def build(ctx): "relnotes" ] + p = ctx.path.parent.abspath() + for dir in dirs: + if not exists("%s/%s" % (p, dir)): + ctx.fatal("Directory does not exist: %s/%s" % (p, dir)) + for dir in dirs: files = ctx.path.parent.find_node(dir).ant_glob("**/*.rst") files = [x for x in files if x.name.find("/build/") == -1] |