From 5a31ed0f23b48f04a3475501b46bbede8720c63f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Waldemar=20=C5=BBurowski?=
 <45210402+wzur-r3@users.noreply.github.com>
Date: Mon, 17 Jul 2023 19:05:58 +0100
Subject: [PATCH] ES-839: fix for dropping Zulu repository (#7429)

* make sure `rm` doesn't fail if the file is not present
* it makes it easier for forward merge to a branch with newer base image
without that file
---
 docker/src/docker/Dockerfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docker/src/docker/Dockerfile b/docker/src/docker/Dockerfile
index 80eabe193d..dd6b51db40 100644
--- a/docker/src/docker/Dockerfile
+++ b/docker/src/docker/Dockerfile
@@ -1,7 +1,7 @@
 FROM azul/zulu-openjdk:8u192
 
 ## Remove Azul Zulu repo, as it is gone by now
-RUN rm /etc/apt/sources.list.d/zulu.list
+RUN rm -rf /etc/apt/sources.list.d/zulu.list
 
 ## Add packages, clean cache, create dirs, create corda user and change ownership
 RUN apt-get update && \
@@ -66,4 +66,4 @@ COPY --chown=corda:corda starting-node.conf /opt/corda/starting-node.conf
 USER "corda"
 EXPOSE ${MY_P2P_PORT} ${MY_RPC_PORT} ${MY_RPC_ADMIN_PORT}
 WORKDIR /opt/corda
-CMD ["run-corda"]
\ No newline at end of file
+CMD ["run-corda"]