diff options
| -rw-r--r-- | scripts/ci/Dockerfile.checkout | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/scripts/ci/Dockerfile.checkout b/scripts/ci/Dockerfile.checkout index 6bfd9e3..b5619c9 100644 --- a/scripts/ci/Dockerfile.checkout +++ b/scripts/ci/Dockerfile.checkout | |||
| @@ -6,10 +6,13 @@ RUN sed -i 's#deb http://deb.debian.org/debian buster-updates main#deb http://de | |||
| 6 | RUN apt-get update -q && apt-get install -qy \ | 6 | RUN apt-get update -q && apt-get install -qy \ |
| 7 | git \ | 7 | git \ |
| 8 | python3 \ | 8 | python3 \ |
| 9 | repo \ | 9 | curl \ |
| 10 | xmlstarlet | 10 | xmlstarlet |
| 11 | 11 | ||
| 12 | RUN update-alternatives --install /usr/bin/python python /usr/bin/python3 2 | 12 | # Install repo |
| 13 | RUN update-alternatives --install /usr/bin/python python /usr/bin/python3 2 && \ | ||
| 14 | curl https://storage.googleapis.com/git-repo-downloads/repo > /usr/bin/repo && \ | ||
| 15 | chmod a+x /usr/bin/repo | ||
| 13 | 16 | ||
| 14 | # checkout script | 17 | # checkout script |
| 15 | RUN mkdir /scripts | 18 | RUN mkdir /scripts |
