| commit | b6fa7970a658259b43f378413076feb520f4dc97 | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <Gilles.Peskine@arm.com> | Thu Aug 01 23:13:23 2019 +0200 |
| committer | Darryl Green <darryl.green@arm.com> | Wed Nov 13 14:33:34 2019 +0000 |
| tree | 9913eaaeaffe3b91b7e35ae58676e5044fe252fb | |
| parent | 812f185bc8114b32bedd0937cf7e2e0eb61213a2 [diff] [blame] |
Fix Config.unset() making the name known
diff --git a/scripts/config.py b/scripts/config.py index 8fd335a..d5f1a43 100755 --- a/scripts/config.py +++ b/scripts/config.py
@@ -131,9 +131,10 @@ def unset(self, name): """Make name unset (inactive). - name remains known. + name remains known if it was known before. """ - self.set(name) + if name not in self.settings: + return self.settings[name].active = False def adapt(self, adapter):