apply Vadim's suggestions

This commit is contained in:
Alek Westover
2023-07-26 16:34:04 -04:00
parent cc2e1c0119
commit d062d10490
2 changed files with 4 additions and 4 deletions

View File

@@ -779,9 +779,9 @@ RUN apt update && apt install -y zstd
# Define extension build numbers
# NOTE: it is *not* necessary for the build_tag to be BUILD_TAG. In particular,
# you should update the build_tag for each extension only when you build it
RUN echo "kq_imcx 5670669815" >> build_tags.txt
RUN echo "anon 5670669815" >> build_tags.txt
RUN echo "postgis 5670669815" >> build_tags.txt
RUN echo "kq_imcx 5670669815" >> build_tags.txt && \
echo "anon 5670669815" >> build_tags.txt && \
echo "postgis 5670669815" >> build_tags.txt
# copy the control files here
COPY --from=kq-imcx-pg-build /extensions/ /extensions/

View File

@@ -47,7 +47,7 @@ if __name__ == "__main__":
build_tags = {}
with open("build_tags.txt", "r") as f:
for line in f.readlines():
for line in f:
ext, build_tag = line.strip().split(" ")
build_tags[ext] = build_tag