diff options
author | Amar Takhar <amar@rtems.org> | 2015-03-03 08:44:37 -0500 |
---|---|---|
committer | Amar Takhar <amar@rtems.org> | 2015-12-11 15:15:51 -0500 |
commit | 3a710dcac96dac1300f27a2dbc7b58ecd94bdd41 (patch) | |
tree | ada92fc99d3ccbd5665c81094479dad5989b11c0 | |
parent | 80edbb7d2174b014bda145f349ebddd7c5ed92fb (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. |