diff --git a/tools/make.py b/tools/make.py index 626ed3801f..ba86f5170a 100644 --- a/tools/make.py +++ b/tools/make.py @@ -50,7 +50,7 @@ from argparse import ArgumentTypeError if __name__ == '__main__': # Parse Options parser = get_default_options_parser() - group = parser.add_mutually_exclusive_group(required=True) + group = parser.add_mutually_exclusive_group(required=False) group.add_argument("-p", type=argparse_many(test_known), dest="program",