mirror of
https://github.com/servo/servo.git
synced 2025-07-05 14:33:38 +01:00
Images don’t need a unique tag
This commit is contained in:
parent
d7ab25608f
commit
cf97373cff
2 changed files with 3 additions and 4 deletions
|
@ -64,17 +64,16 @@ def create_task_with_in_tree_dockerfile(name, command, image, **kwargs):
|
||||||
|
|
||||||
|
|
||||||
def build_image(name):
|
def build_image(name):
|
||||||
with open(os.path.join(REPO, "docker", name, "Dockerfile"), "rb") as f:
|
with open(os.path.join(REPO, name + ".dockerfile"), "rb") as f:
|
||||||
dockerfile = f.read()
|
dockerfile = f.read()
|
||||||
|
|
||||||
image_build_task = create_task(
|
image_build_task = create_task(
|
||||||
"docker image build task for image: " + name,
|
"docker image build task for image: " + name,
|
||||||
"""
|
"""
|
||||||
echo "$DOCKERFILE" | docker build -t "$IMAGE" -
|
echo "$DOCKERFILE" | docker build -t taskcluster-built -
|
||||||
docker save "$IMAGE" | lz4 > /%s
|
docker save taskcluster-built | lz4 > /%s
|
||||||
""" % IMAGE_ARTIFACT_FILENAME,
|
""" % IMAGE_ARTIFACT_FILENAME,
|
||||||
env={
|
env={
|
||||||
"IMAGE": name,
|
|
||||||
"DOCKERFILE": dockerfile,
|
"DOCKERFILE": dockerfile,
|
||||||
},
|
},
|
||||||
artifacts=[
|
artifacts=[
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue