tests/run-tests.py
changeset 17965 0167da3cbc44
parent 17936 95fc4ab324df
child 17966 ae20cde050c2
equal deleted inserted replaced
17960:d0d99c8bdf51 17965:0167da3cbc44
   382         # The --home="" trick works only on OS where os.sep == '/'
   382         # The --home="" trick works only on OS where os.sep == '/'
   383         # because of a distutils convert_path() fast-path. Avoid it at
   383         # because of a distutils convert_path() fast-path. Avoid it at
   384         # least on Windows for now, deal with .pydistutils.cfg bugs
   384         # least on Windows for now, deal with .pydistutils.cfg bugs
   385         # when they happen.
   385         # when they happen.
   386         nohome = ''
   386         nohome = ''
   387     cmd = ('%s setup.py %s clean --all'
   387     cmd = ('%(exe)s setup.py %(pure)s clean --all'
   388            ' build --build-base="%s"'
   388            ' build --build-base="%(base)s"'
   389            ' install --force --prefix="%s" --install-lib="%s"'
   389            ' install --force --prefix="%(prefix)s" --install-lib="%(libdir)s"'
   390            ' --install-scripts="%s" %s >%s 2>&1'
   390            ' --install-scripts="%(bindir)s" %(nohome)s >%(logfile)s 2>&1'
   391            % (sys.executable, pure, os.path.join(HGTMP, "build"),
   391            % dict(exe=sys.executable, pure=pure, 
   392               INST, PYTHONDIR, BINDIR, nohome, installerrs))
   392                   base=os.path.join(HGTMP, "build"),
       
   393                   prefix=INST, libdir=PYTHONDIR, bindir=BINDIR, 
       
   394                   nohome=nohome, logfile=installerrs))
   393     vlog("# Running", cmd)
   395     vlog("# Running", cmd)
   394     if os.system(cmd) == 0:
   396     if os.system(cmd) == 0:
   395         if not options.verbose:
   397         if not options.verbose:
   396             os.remove(installerrs)
   398             os.remove(installerrs)
   397     else:
   399     else: