From ef4376740b8060a0f3f8e9467c92cbcb4ee4363f Mon Sep 17 00:00:00 2001 From: bridadan Date: Wed, 6 Apr 2016 16:02:11 +0100 Subject: [PATCH] Allowing "--source" to be specified multiple times. Allowing you to compose builds from separate directories. --- tools/make.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/make.py b/tools/make.py index adfd82bf39..c50005fbc5 100755 --- a/tools/make.py +++ b/tools/make.py @@ -94,7 +94,7 @@ if __name__ == '__main__': parser.add_option("--dep", dest="dependencies", default=None, help="Dependencies") parser.add_option("--source", dest="source_dir", - default=None, help="The source (input) directory") + default=None, help="The source (input) directory", action="append") parser.add_option("--duration", type="int", dest="duration", default=None, help="Duration of the test") parser.add_option("--build", dest="build_dir",