dev: run docker non-interactively

GHA will complain otherwise :^
digineo · Nov 1, 2024 · 23ff128 · 23ff128
1 parent 24308be
commit 23ff128
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bin/make-helper.sh b/bin/make-helper.sh
@@ -98,7 +98,7 @@ if [ "$USE_DOCKER" = "1" ]; then
 
 	mkdir -p "$dockerhome"
 
-	exec docker run --rm -it \
+	exec docker run --rm \
 		--user $(id -u):$(id -g) \
 		--volume "$(pwd):/texd" \
 		--workdir /texd \