diff options
Diffstat (limited to 'waftools/dependencies.py')
| -rw-r--r-- | waftools/dependencies.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/waftools/dependencies.py b/waftools/dependencies.py index a3ae5ac5ea..c1f3fdb022 100644 --- a/waftools/dependencies.py +++ b/waftools/dependencies.py @@ -95,6 +95,7 @@ the autodetection check failed.".format(self.identifier) self.success(self.identifier) else: self.fail() + self.ctx.undefine(inflector.define_key(self.identifier)) self.fatal_if_needed() def enabled_option(self, identifier=None): |