...
1# syntax=docker/dockerfile:1
2
3ARG ALPINE_VERSION=3.18
4
5FROM alpine:${ALPINE_VERSION} AS gen
6RUN apk add --no-cache bash git
7WORKDIR /src
8RUN --mount=type=bind,target=. \
9 mkdir /out && ./scripts/docs/generate-authors.sh /out
10
11FROM scratch AS update
12COPY --from=gen /out /
13
14FROM gen AS validate
15RUN --mount=type=bind,target=.,rw <<EOT
16set -e
17git add -A
18cp -rf /out/* .
19diff=$(git status --porcelain -- AUTHORS)
20if [ -n "$diff" ]; then
21 echo >&2 'ERROR: Authors result differs. Please update with "make -f docker.Makefile authors"'
22 echo "$diff"
23 exit 1
24fi
25EOT
View as plain text