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