run cargo generate-lockfile before running docker

This commit is contained in:
Folkert de Vries 2025-04-21 13:54:39 +02:00 committed by Amanieu d'Antras
parent f77386cf2b
commit a4ddd6c5ff

View File

@ -11,6 +11,9 @@ if [ $# -lt 1 ]; then
fi
run() {
# Prevent `Read-only file system (os error 30)`.
cargo generate-lockfile
echo "Building docker container for TARGET=${1}"
docker build -t stdarch -f "ci/docker/${1}/Dockerfile" ci/
mkdir -p target c_programs rust_programs