From a52f97d5a5b39d61b853a5ad839c130874cc5cd4 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 d5f1a439f..f0b5187f1 100755
--- a/scripts/config.py
+++ b/scripts/config.py
@@ -331,6 +331,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',