Use python3 to get repo working again.fix/python3-for-repo

The latest version of repo requires python3.6+, but the default Debian
package is fine with the default python3 package (although it complains
about experimental support).

Signed-off-by: Patrick Vacek <patrickvacek@gmail.com>

1 files changed, 5 insertions, 2 deletions

diff --git a/scripts/ci/Dockerfile.checkout b/scripts/ci/Dockerfile.checkout
index 5210c6b..8b9e052 100644
--- a/scripts/ci/Dockerfile.checkout
+++ b/scripts/ci/Dockerfile.checkout
@@ -5,8 +5,11 @@ RUN sed -i 's#deb http://deb.debian.org/debian stretch main#deb http://deb.debia
 RUN sed -i 's#deb http://deb.debian.org/debian stretch-updates main#deb http://deb.debian.org/debian stretch-updates main contrib#g' /etc/apt/sources.list
 RUN apt-get update -q && apt-get install -qy \
     git \
-    repo \
-    xmlstarlet
+    xmlstarlet \
+    python3 \
+    repo
+
+RUN update-alternatives --install /usr/bin/python python /usr/bin/python3 2
 
 # checkout script
 RUN mkdir /scripts