Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 06:00:15 +01:00
Code Issues Projects Releases Packages Wiki Activity

Use the docker image we just built

Browse source
This commit is contained in:
Simon Sapin 2018-09-10 18:50:49 +02:00
parent b72d5ca2a7
commit 8e7d83206f
3 changed files with 15 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

1
docker-image-build-task.sh
View file

@ -9,3 +9,4 @@ apt-get update -q
apt-get install -qy --no-install-recommends docker.io
docker version
./docker/build.sh "$image"
docker save "$image" | gzip > /image.tar.gz