commit 98eb36557d53d89698391f49593a6b6e5b56fc99
author Gilles Peskine <Gilles.Peskine@arm.com> Sun Jul 28 16:39:19 2019 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> Fri Sep 13 11:04:23 2019 +0200
tree cae1ccc8d1683554ed40c14eedbbc82df79cd9ad
parent 0fa5efb7cea9ea1083f2d82bc9ab79b5c42cba7b

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 3b2aa63..1a2b159 100755
--- a/scripts/config.py
+++ b/scripts/config.py
@@ -384,7 +384,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))