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',