diff options
author | Amar Takhar <amar@rtems.org> | 2015-03-03 08:44:37 -0500 |
---|---|---|
committer | Amar Takhar <amar@rtems.org> | 2015-03-03 08:44:37 -0500 |
commit | 4a6cd0c0f0670a2b182e1817bfe6c34c1304fb21 (patch) | |
tree | 2cab9b21f68b8cfe1e74b07ef56b7314e33b7789 | |
parent | 5bbcd05dedaea9fdc8ad12183193927883276111 (diff) |
Fail if an option is missing in config.cfg that is required.
-rw-r--r-- | rtems_waf/config/base.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rtems_waf/config/base.py b/rtems_waf/config/base.py index 10b2d848bb..cd8be72cda 100644 --- a/rtems_waf/config/base.py +++ b/rtems_waf/config/base.py @@ -370,6 +370,9 @@ class BuildConfig(object): for option in cfg_bsp.option_build: opt = cfg_bsp.option_build[option] + if not self.cfg_user.has_option(section, opt.name): + fatal("Missing Option in config: %s" % opt.name) + o = self.cfg_user.get(section, opt.name) # configpaser does not convert values anymore. |