tools/docker: Fix debian-sid

version returned by lsb-release is 'n/a' which break all scripts...
google · Nov 25, 2022 · 92eab40 · 92eab40
1 parent 6116265
commit 92eab40
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/tools/docker/images/debian-sid.Dockerfile b/tools/docker/images/debian-sid.Dockerfile
@@ -51,6 +51,8 @@ RUN ln -snf /usr/share/zoneinfo/$TZ /etc/localtime && echo $TZ > /etc/timezone
 ##  OR-TOOLS  ##
 ################
 FROM env AS devel
+ENV DISTRIBUTION=debian-sid
+
 WORKDIR /root
 # Copy the snk key
 COPY or-tools.snk /root/or-tools.snk