Change kill signal argument to be a number

Apparently whatever version is on GitHub doesn't support how I had it before.
maelstrom-software · Jan 1, 2025 · 6d4c29a · 6d4c29a
1 parent 9108520
commit 6d4c29a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/run-tests-on-maelstrom-inner.sh b/scripts/run-tests-on-maelstrom-inner.sh
@@ -41,7 +41,7 @@ CARGO_MAELSTROM_STATUS=$?
 cargo run --release --bin maelstrom-pytest -- --broker=localhost:$PORT $PYTEST_ARGS
 MAELSTROM_PYTEST_STATUS=$?
 
-kill --signal SIGTERM $BROKER_PID
+kill -15 $BROKER_PID
 rm "$TEMPFILE"
 set -e