diff --git a/launch/framework.bash b/launch/framework.bash index 8b554b64eaa..bf67387d40a 100755 --- a/launch/framework.bash +++ b/launch/framework.bash @@ -13,12 +13,12 @@ fi "$binary" & binary_pid=$! -# Run "make run-our-stack" in the foreground -make run-our-stack - # Ensure that pressing Ctrl+C kills all subprocesses trap 'kill $binary_pid; exit' INT +# Run "make run-our-stack" in the foreground +make run-our-stack + # Wait for the background process to complete wait $binary_pid