diff options
author | Bartek Grzybowski <b.grzybowski@partner.samsung.com> | 2020-10-27 12:12:36 +0100 |
---|---|---|
committer | Bartek Grzybowski <b.grzybowski@partner.samsung.com> | 2020-10-28 10:55:43 +0000 |
commit | d6cb1e9d6bee02c72ca5b65726de1a8fb9a2f96f (patch) | |
tree | e42bed9d2406d36744b279b9cdd2f675313cdeb4 | |
parent | 237a92210196a0583728573d4f53f87b7d16a482 (diff) |
Drop docker container cleanup statement
Container is run with "--rm" option hence manual
cleanup is not needed in any case.
Change-Id: Iafe8287b8486abcd4a44fec102db8bfb89af1b63
Issue-ID: OOM-2612
Signed-off-by: Bartek Grzybowski <b.grzybowski@partner.samsung.com>
-rwxr-xr-x | build/create_repo.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/build/create_repo.sh b/build/create_repo.sh index 8fce53cc..ea2b8969 100755 --- a/build/create_repo.sh +++ b/build/create_repo.sh @@ -133,10 +133,6 @@ fi #Check if container "centos-repo" is running if [ ! "$(docker ps -q -f name=$container_name)" ]; then - if [ "$(docker ps -aq -f status=exited -f name=$container_name)" ]; then - # cleanup - docker rm $container_name - fi # run repo container # name of container $container_name # docker entrypoint script from mounted volume |