From 59f5d6449b2e55fafd7b6d8886bedc3bb5dabc49 Mon Sep 17 00:00:00 2001
From: Toby Jaffey <toby@ringtailsoftware.co.uk>
Date: Wed, 10 Dec 2025 16:40:56 +0000
Subject: [PATCH] Non-interactive shell for docker build

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index d9a4d4a..11e3183 100644
--- a/Makefile
+++ b/Makefile
@@ -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