Non-interactive shell for docker build

This commit is contained in:
Toby Jaffey 2025-12-10 16:40:56 +00:00
parent 1087a1a44f
commit 59f5d6449b

View file

@ -27,6 +27,6 @@ dockershell:
docker run -v `pwd`:/data -w /data --rm -ti uvm32 /bin/bash
docker:
docker run -v `pwd`:/data -w /data --rm -ti uvm32 make
docker run -v `pwd`:/data -w /data --rm uvm32 make