From b6fa7970a658259b43f378413076feb520f4dc97 Mon Sep 17 00:00:00 2001
From: Gilles Peskine <Gilles.Peskine@arm.com>
Date: Thu, 1 Aug 2019 23:13:23 +0200
Subject: [PATCH] Fix Config.unset() making the name known

---
 scripts/config.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/scripts/config.py b/scripts/config.py
index 8fd335a49..d5f1a439f 100755
--- a/scripts/config.py
+++ b/scripts/config.py
@@ -131,9 +131,10 @@ class Config:
     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):