mirror of
https://github.com/servo/servo.git
synced 2025-06-06 16:45:39 +00:00
parent
d16ba51b47
commit
4ff8d3ad9c
1 changed files with 2 additions and 1 deletions
|
@ -9,6 +9,7 @@ import platform
|
||||||
import subprocess
|
import subprocess
|
||||||
import sys
|
import sys
|
||||||
from distutils.spawn import find_executable
|
from distutils.spawn import find_executable
|
||||||
|
from pipes import quote
|
||||||
|
|
||||||
SEARCH_PATHS = [
|
SEARCH_PATHS = [
|
||||||
os.path.join("python", "mach"),
|
os.path.join("python", "mach"),
|
||||||
|
@ -102,7 +103,7 @@ def _activate_virtualenv(topdir):
|
||||||
except (subprocess.CalledProcessError, OSError):
|
except (subprocess.CalledProcessError, OSError):
|
||||||
sys.exit("Python virtualenv failed to execute properly.")
|
sys.exit("Python virtualenv failed to execute properly.")
|
||||||
|
|
||||||
execfile(activate_path, dict(__file__=activate_path))
|
execfile(activate_path, dict(__file__=quote(activate_path)))
|
||||||
|
|
||||||
# TODO: Right now, we iteratively install all the requirements by invoking
|
# TODO: Right now, we iteratively install all the requirements by invoking
|
||||||
# `pip install` each time. If it were the case that there were conflicting
|
# `pip install` each time. If it were the case that there were conflicting
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue