greg/NNG
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update Dockerfile

Browse Source
This commit is contained in:
Jon Eugster
2023-04-28 15:55:14 +02:00
committed by GitHub
parent d55477dca7
commit a7757bf901
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
Dockerfile
View File

@@ -22,8 +22,8 @@ COPY lake-packages/GameServer/server/lake-manifest.json ./lake-manifest.json
COPY lake-packages/GameServer/server/lean-toolchain ./lean-toolchain
# Copy the game to `nng`
COPY NNG4 ./nng/NNG4
COPY NNG4.lean ./nng/NNG4.lean
COPY NNG ./nng/NNG
COPY NNG.lean ./nng/NNG.lean
COPY lakefile.lean ./nng/lakefile.lean
COPY lake-manifest.json ./nng/lake-manifest.json
COPY lean-toolchain ./nng/lean-toolchain