From 4b205084f83740e9c3a720ffc37a1a7fbf2555b5 Mon Sep 17 00:00:00 2001 From: Shyotl Date: Sat, 23 Aug 2014 20:52:01 -0500 Subject: [PATCH] Fix develop.py 'build' command. --- indra/develop.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/indra/develop.py b/indra/develop.py index 024bd92cb..83c76b10f 100755 --- a/indra/develop.py +++ b/indra/develop.py @@ -169,7 +169,7 @@ class PlatformSetup(object): raise def parse_build_opts(self, arguments): - opts, targets = getopt.getopt(arguments, 'o:', ['option=']) + opts, targets = getopt.getopt(arguments, 'D:o:', ['option=']) build_opts = [] for o, a in opts: if o in ('-o', '--option'):