diff options
author | Jafar Al-Gharaibeh <Jafaral@users.noreply.github.com> | 2020-01-06 18:24:15 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-06 18:24:15 +0100 |
commit | c8c42e6afddc8bd4f13ff412d99d766a366d666a (patch) | |
tree | 6be2dfd38bb30d7638fbb3546188a342e4382685 /docker | |
parent | Merge pull request #5632 from ton31337/fix/dont_use_pipes (diff) | |
parent | docker: Use proper container name when creating CentOS 8 container (diff) | |
download | frr-c8c42e6afddc8bd4f13ff412d99d766a366d666a.tar.xz frr-c8c42e6afddc8bd4f13ff412d99d766a366d666a.zip |
Merge pull request #5606 from ton31337/fix/docker_centos8_image_name
docker: Use proper container name when creating CentOS 8 container
Diffstat (limited to 'docker')
-rwxr-xr-x | docker/centos-8/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docker/centos-8/build.sh b/docker/centos-8/build.sh index 968d5fe6c..4a9918486 100755 --- a/docker/centos-8/build.sh +++ b/docker/centos-8/build.sh @@ -17,7 +17,7 @@ docker build \ . # Copy RPM package from container to host -CONTAINER_ID="$(docker create "frr:centos-builder-8-$GITREV")" +CONTAINER_ID="$(docker create "frr:centos-8-builder-$GITREV")" docker cp "${CONTAINER_ID}:/rpmbuild/RPMS/x86_64/" docker/centos-8/pkgs docker rm "${CONTAINER_ID}" |