| commit | 55cc4dbb5c9b1823b23b5c914f2754c6a6c18d77 | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <Gilles.Peskine@arm.com> | Thu Aug 01 23:13:23 2019 +0200 |
| committer | Gilles Peskine <Gilles.Peskine@arm.com> | Fri Sep 13 11:04:23 2019 +0200 |
| tree | a149ba3729f7578755fb0d9b0923e64575ddf573 | |
| parent | 208e4ec5d3bb86addd524ffac6f63b2c5fe6c9ad [diff] [blame] |
Fix Config.unset() making the name known
diff --git a/scripts/config.py b/scripts/config.py index aaea484..81c35d0 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):