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'):