Merge pull request #118 from milosgajdos/distribution-gh-repo

Change distribution GitHub repo URL
This commit is contained in:
Milos Gajdos 2021-12-20 12:49:11 +00:00 committed by GitHub
commit 10063cc361
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -3,7 +3,7 @@
set -e
if [ $# -eq 0 ] ; then
echo "Usage: ./update.sh <docker/distribution tag or branch>"
echo "Usage: ./update.sh <distribution/distribution tag or branch>"
exit
fi
@ -22,7 +22,7 @@ echo "Fetching and building distribution $VERSION..."
# Create a temporary directory.
TEMP=`mktemp -d --tmpdir distribution.XXXXXX`
git clone -b $VERSION https://github.com/docker/distribution.git $TEMP
git clone -b $VERSION https://github.com/distribution/distribution.git $TEMP
docker build --build-arg GOARCH=$GOARCH --build-arg GOARM=$GOARM -t distribution-builder-$GOARCH $TEMP
# Create a dummy distribution-build container so we can run a cp against it.