From 435ce22920f0360a21f02c16e2dd5605d5c1c73c Mon Sep 17 00:00:00 2001
From: Gilles Peskine <Gilles.Peskine@arm.com>
Date: Thu, 1 Aug 2019 23:13:47 +0200
Subject: [PATCH] Fix --force requiring an argument

---
 scripts/config.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/config.py b/scripts/config.py
index 81c35d0a8..382831acf 100755
--- a/scripts/config.py
+++ b/scripts/config.py
@@ -338,6 +338,7 @@ if __name__ == '__main__':
                             Default: {}.
                             """.format(ConfigFile.default_path))
         parser.add_argument('--force', '-o',
+                            action='store_true',
                             help="""For the set command, if SYMBOL is not
                             present, add a definition for it.""")
         parser.add_argument('--write', '-w',