equal
deleted
inserted
replaced
178 |
178 |
179 # jython is always pure |
179 # jython is always pure |
180 if 'java' in sys.platform or '__pypy__' in sys.modules: |
180 if 'java' in sys.platform or '__pypy__' in sys.modules: |
181 options.pure = True |
181 options.pure = True |
182 |
182 |
183 if not (os.path.isfile(options.shell) and |
|
184 os.access(options.shell, os.X_OK)): |
|
185 parser.error('--shell must be executable') |
|
186 |
|
187 if options.with_hg: |
183 if options.with_hg: |
188 if not (os.path.isfile(options.with_hg) and |
184 if not (os.path.isfile(options.with_hg) and |
189 os.access(options.with_hg, os.X_OK)): |
185 os.access(options.with_hg, os.X_OK)): |
190 parser.error('--with-hg must specify an executable hg script') |
186 parser.error('--with-hg must specify an executable hg script') |
191 if not os.path.basename(options.with_hg) == 'hg': |
187 if not os.path.basename(options.with_hg) == 'hg': |