| commit | 435ce22920f0360a21f02c16e2dd5605d5c1c73c | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <Gilles.Peskine@arm.com> | Thu Aug 01 23:13:47 2019 +0200 |
| committer | Gilles Peskine <Gilles.Peskine@arm.com> | Fri Sep 13 11:04:23 2019 +0200 |
| tree | 5b3d5b0810a35dda52e8f5a0638ba30431f7be88 | |
| parent | 55cc4dbb5c9b1823b23b5c914f2754c6a6c18d77 [diff] [blame] |
Fix --force requiring an argument
diff --git a/scripts/config.py b/scripts/config.py index 81c35d0..382831a 100755 --- a/scripts/config.py +++ b/scripts/config.py
@@ -338,6 +338,7 @@ 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',