Fix develop.py 'build' command.

2014-08-23 20:52:01 -05:00
parent eb910b0bae
commit 4b205084f8
1 changed files with 1 additions and 1 deletions
--- 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'):