tools/docker: Trim docker pull from build and push script.

This commit is contained in:
Jason Volk 2020-04-29 11:09:45 -07:00
parent cbe7d13c6f
commit 5e9701b6c9
1 changed files with 0 additions and 1 deletions

View File

@ -1,7 +1,6 @@
#!/bin/sh
BASEDIR=$(dirname "$0")
docker pull ubuntu:20.04
docker build -t jevolk/construct:ubuntu-20.04 $BASEDIR/ubuntu/base
docker build -t jevolk/construct:ubuntu-20.04-clang-9 $BASEDIR/ubuntu/clang-9
docker build -t jevolk/construct:ubuntu-20.04-gcc-8 $BASEDIR/ubuntu/gcc-8