Update 'Dockerfile'
This commit is contained in:
parent
7f6ca9596d
commit
f9c4e8cdd9
|
@ -22,7 +22,7 @@ COPY ./server /app/server
|
|||
RUN --mount=type=cache,target=/usr/local/cargo/registry <<EOF
|
||||
set -e
|
||||
# update timestamps to force a new build
|
||||
touch /app/host/srcmain.rs /app/server/src/lib.rs /app/kernel/src/lib.rs
|
||||
touch /app/host/src/main.rs /app/server/src/lib.rs /app/kernel/src/lib.rs
|
||||
cargo build --release
|
||||
EOF
|
||||
|
||||
|
|
Loading…
Reference in New Issue