Add echos to interrupt script

pull/88/head
Jeremy Rand 3 years ago
parent 0796ce65f2
commit 1e533e5ba6
No known key found for this signature in database
GPG Key ID: FD7550C2EB800711

@ -1,7 +1,11 @@
#!/usr/bin/env bash
echo "Interrupting build container..."
# 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)
echo "Interrupted!"

Loading…
Cancel
Save