Try different path for coverage md, use buildkit

This commit is contained in:
Toby Jaffey 2025-12-13 21:39:08 +00:00
parent f6afd59bbf
commit 608a009fa2
2 changed files with 6 additions and 3 deletions

View file

@ -17,7 +17,10 @@ distrib: all
cp apps/*/*.bin precompiled/
dockerbuild:
docker build -t uvm32 . --no-cache
DOCKER_BUILDKIT=1 docker build -t uvm32 . --no-cache
dockerbuild_cached:
DOCKER_BUILDKIT=1 docker build -t uvm32 .
dockershell:
docker run -v `pwd`:/data -w /data --rm -ti uvm32 /bin/bash