From 74864a56c08801aec472cdab07a2df7147fd482c Mon Sep 17 00:00:00 2001
From: Travis Geiselbrecht <travisg@gmail.com>
Date: Fri, 14 Jun 2024 15:35:58 -0700
Subject: [PATCH] [scripts][buildall] catch ctrl-c and abort the script

---
 scripts/buildall | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/scripts/buildall b/scripts/buildall
index 0e218c6c6..a63107094 100755
--- a/scripts/buildall
+++ b/scripts/buildall
@@ -2,6 +2,13 @@
 
 set -o pipefail
 
+handle_interrupt() {
+  echo "Caught ctrl-c, exiting"
+  exit 1
+}
+
+trap 'handle_interrupt' SIGINT
+
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
 
 function HELP {