From bca12206f1e47c0c4d7d2967516938c0ed9f05d0 Mon Sep 17 00:00:00 2001 From: Jimmy Brisson Date: Wed, 29 Jun 2016 17:00:29 -0500 Subject: [PATCH] Allow --source to be specified more than once --- tools/make.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/make.py b/tools/make.py index 9b6f17a0e2..4bffa0701f 100644 --- a/tools/make.py +++ b/tools/make.py @@ -106,8 +106,8 @@ if __name__ == '__main__': default=None, help="Required peripherals") parser.add_argument("--dep", dest="dependencies", default=None, help="Dependencies") - group.add_argument("--source", dest="source_dir", type=argparse_filestring_type, - default=None, help="The source (input) directory", nargs="*") + parser.add_argument("--source", dest="source_dir", type=argparse_filestring_type, + default=None, help="The source (input) directory", action="append") parser.add_argument("--duration", type=int, dest="duration", default=None, help="Duration of the test") parser.add_argument("--build", dest="build_dir",