From a72f41b5a3f6703440255e42663706874f7325c0 Mon Sep 17 00:00:00 2001
From: Jeremy Rand <jeremyrand@airmail.cc>
Date: Thu, 18 Feb 2021 21:18:59 +0000
Subject: [PATCH] Add container-interrupt script

---
 tools/container-interrupt.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 tools/container-interrupt.sh

diff --git a/tools/container-interrupt.sh b/tools/container-interrupt.sh
new file mode 100755
index 0000000..a564ed0
--- /dev/null
+++ b/tools/container-interrupt.sh
@@ -0,0 +1,7 @@
+#!/usr/bin/env bash
+
+# Make sure tor-browser-build knows why the build stopped.
+touch tmp/interrupted
+
+# Send SIGINT to all processes inside the container.
+kill -s SIGINT $(./tools/container-pids.sh)