equal
deleted
inserted
replaced
142 defaults[option] = int(os.environ.get(*default)) |
142 defaults[option] = int(os.environ.get(*default)) |
143 parser.set_defaults(**defaults) |
143 parser.set_defaults(**defaults) |
144 (options, args) = parser.parse_args() |
144 (options, args) = parser.parse_args() |
145 |
145 |
146 # jython is always pure |
146 # jython is always pure |
147 options.pure = options.pure or 'java' in sys.platform |
147 if 'java' in sys.platform: |
|
148 options.pure = True |
148 |
149 |
149 if options.with_hg: |
150 if options.with_hg: |
150 if not (os.path.isfile(options.with_hg) and |
151 if not (os.path.isfile(options.with_hg) and |
151 os.access(options.with_hg, os.X_OK)): |
152 os.access(options.with_hg, os.X_OK)): |
152 parser.error('--with-hg must specify an executable hg script') |
153 parser.error('--with-hg must specify an executable hg script') |