Add version.mk to Dockerfile

minoki · Dec 17, 2023 · 031a459 · 031a459
1 parent 7240559
commit 031a459
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/package/docker/Dockerfile b/package/docker/Dockerfile
@@ -5,7 +5,7 @@ FROM ubuntu:23.04
 RUN apt-get update && apt-get install -y mlton make lua5.3 patch
 
 WORKDIR /work
-COPY Makefile .
+COPY Makefile version.mk .
 COPY src/ src/
 COPY pluto/ pluto/
 COPY util/ util/