From 5b5e41b0c6c1ef468b54ee28e18d1cffce1c1b55 Mon Sep 17 00:00:00 2001
From: BtbN <btbn@btbn.de>
Date: Thu, 10 Jun 2021 16:44:04 +0200
Subject: [PATCH] Make build.sh respect Ctrl+C where possible

---
 build.sh | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index 900a8c4..6e2a702 100755
--- a/build.sh
+++ b/build.sh
@@ -50,7 +50,10 @@ rm -f "$TESTFILE"
 rm -rf ffbuild
 mkdir ffbuild
 
-docker run --rm -i "${UIDARGS[@]}" -v $PWD/ffbuild:/ffbuild "$IMAGE" bash -s <<EOF
+BUILD_SCRIPT="$(mktemp)"
+trap "rm -f -- '$BUILD_SCRIPT'" EXIT
+
+cat <<EOF >"$BUILD_SCRIPT"
     set -xe
     cd /ffbuild
     rm -rf ffmpeg prefix
@@ -64,6 +67,10 @@ docker run --rm -i "${UIDARGS[@]}" -v $PWD/ffbuild:/ffbuild "$IMAGE" bash -s <<E
     make install install-doc
 EOF
 
+[[ -t 1 ]] && TTY_ARG="-t" || TTY_ARG=""
+
+docker run --rm -i $TTY_ARG "${UIDARGS[@]}" -v $PWD/ffbuild:/ffbuild -v "$BUILD_SCRIPT":/build.sh "$IMAGE" bash /build.sh
+
 mkdir -p artifacts
 ARTIFACTS_PATH="$PWD/artifacts"
 BUILD_NAME="ffmpeg-$(./ffbuild/ffmpeg/ffbuild/version.sh ffbuild/ffmpeg)-${TARGET}-${VARIANT}${ADDINS_STR:+-}${ADDINS_STR}"