From b715f4c6edcb1b8e8df274636b29f732bef65407 Mon Sep 17 00:00:00 2001
From: Owen Jacobson <owen@grimoire.ca>
Date: Thu, 28 Nov 2024 19:08:10 -0500
Subject: Add separate runners for a freestanding frontend and the (debug
 version of) the unified build.

---
 tools/run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools/run')

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+=($!)
-- 
cgit v1.2.3