use tag v4.23.0 from openstreetmap-carto instead to use master

2019-10-03 18:15:41 +02:00 · 2019-10-03 18:15:41 +02:00 · bfcc7d7c44
parent 598a48145a
commit bfcc7d7c44
1 changed files with 2 additions and 1 deletions
--- a/3
+++ b/3
@ -109,7 +109,8 @@ USER renderer

 # Configure stylesheet
 WORKDIR /home/renderer/src
-RUN git clone https://github.com/gravitystorm/openstreetmap-carto.git
+RUN git clone https://github.com/gravitystorm/openstreetmap-carto.git \
+ && git -C openstreetmap-carto checkout v4.23.0
 WORKDIR /home/renderer/src/openstreetmap-carto
 USER root
 RUN npm install -g carto@0.18.2