diff options
Diffstat (limited to 'rtems_waf/config/base.py')
-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. |