commit 5d650c86b4e27b294605e17551782a7070b469b6
author Gilles Peskine <Gilles.Peskine@arm.com> Sun Jul 28 16:39:19 2019 +0200
committer Darryl Green <darryl.green@arm.com> Wed Nov 13 14:33:34 2019 +0000
tree 653694fd5c2516cd24ba4c0a16243d5ddb8a9c26
parent a26ea87ddef0018cf98decc227804624d300b992

Fix 'config.py set' without --force

The `set` command can act on any known symbol.

scripts/config.py

diff --git a/scripts/config.py b/scripts/config.py
index 67a1f26..9d81843 100755
--- a/scripts/config.py
+++ b/scripts/config.py
@@ -377,7 +377,7 @@
                     sys.stdout.write(value + '\n')
             return args.symbol not in config
         elif args.command == 'set':
-            if not args.force and args.symbol not in config:
+            if not args.force and args.symbol not in config.settings:
                 sys.stderr.write("A #define for the symbol {} "
                                  "was not found in {}"
                                  .format(args.symbol, args.file))