Add separate runners for a freestanding frontend and the (debug version of) the unified build.

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+=($!)