mirror of
https://github.com/servo/servo.git
synced 2025-08-05 21:50:18 +01:00
Update web-platform-tests to revision b'b728032f59a396243864b0f8584e7211e3632005'
This commit is contained in:
parent
ace9b32b1c
commit
df68c4e5d1
15632 changed files with 514865 additions and 155000 deletions
|
@ -84,8 +84,9 @@ def docker_run(**kwargs):
|
|||
if os.isatty(os.isatty(sys.stdout.fileno())):
|
||||
cmd.append("-it")
|
||||
cmd.extend(["wpt:docs", "./wpt"])
|
||||
if kwargs["venv"]:
|
||||
cmd.extend(["--venv", kwargs["venv"]])
|
||||
# /app/venv is created during docker build and is always active inside the
|
||||
# container.
|
||||
cmd.extend(["--venv", "/app/venv", "--skip-venv-setup"])
|
||||
cmd.extend(["build-docs", "--type", kwargs["type"]])
|
||||
if kwargs["serve"] is not None:
|
||||
cmd.extend(["--serve", str(kwargs["serve"])])
|
||||
|
@ -96,7 +97,6 @@ def docker_run(**kwargs):
|
|||
def build(_venv, **kwargs):
|
||||
if kwargs["docker"]:
|
||||
docker_build()
|
||||
kwargs["venv"] = "/app/venv"
|
||||
return docker_run(**kwargs)
|
||||
|
||||
out_dir = os.path.join(here, "_build")
|
||||
|
@ -108,7 +108,7 @@ def build(_venv, **kwargs):
|
|||
sys.exit(1)
|
||||
if kwargs["serve"] is not None:
|
||||
executable = "sphinx-autobuild"
|
||||
extras = ["-p", str(kwargs["serve"]),
|
||||
extras = ["--port", str(kwargs["serve"]),
|
||||
"--host", "0.0.0.0",
|
||||
"--watch", os.path.abspath(os.path.join(here, os.pardir, "resources")),
|
||||
# Ignore changes to files specified with glob pattern
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue