summaryrefslogtreecommitdiff
path: root/tools/run
diff options
context:
space:
mode:
Diffstat (limited to 'tools/run')
-rwxr-xr-xtools/run2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/run b/tools/run
index a9d52ee..88262c6 100755
--- a/tools/run
+++ b/tools/run
@@ -7,7 +7,7 @@
PIDS=()
-trap 'kill ${PIDS[@]}' EXIT
+trap 'kill "${PIDS[@]}"' EXIT
cargo run &
PIDS+=($!)