diff options
author | Amar Takhar <amar@rtems.org> | 2015-02-09 09:47:49 -0500 |
---|---|---|
committer | Amar Takhar <amar@rtems.org> | 2015-02-09 12:01:54 -0500 |
commit | 04a6368900a2f5b1aebc0ccf41aa0c0bc51ff33c (patch) | |
tree | 0d4137d5697588d5f8c208ba3d312635a3c73ba6 | |
parent | be74396256e6df42ec80338c2217a30ec89aeaff (diff) |
Fix 'waf config' with new config file loader.
-rw-r--r-- | rtems_waf/config/base.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/rtems_waf/config/base.py b/rtems_waf/config/base.py index c4ff636815..21126fe09b 100644 --- a/rtems_waf/config/base.py +++ b/rtems_waf/config/base.py @@ -245,7 +245,8 @@ class BuildConfig(object): self._parse_bsp(self.list_bsp) # Load user configuration - self._cfg_user_load() + if not list_bsp: + self._cfg_user_load() # Make sure BSP= is always set. self.option_set("general", "BSP", " " .join(self.list_bsp)) |