mirror of
https://github.com/corda/corda.git
synced 2024-12-25 07:31:10 +00:00
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
This commit is contained in:
parent
c58bb4a090
commit
5a31ed0f23
@ -1,7 +1,7 @@
|
|||||||
FROM azul/zulu-openjdk:8u192
|
FROM azul/zulu-openjdk:8u192
|
||||||
|
|
||||||
## Remove Azul Zulu repo, as it is gone by now
|
## 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
|
## Add packages, clean cache, create dirs, create corda user and change ownership
|
||||||
RUN apt-get update && \
|
RUN apt-get update && \
|
||||||
|
Loading…
Reference in New Issue
Block a user