allow ctrl+c to terminate CI script

beast-dev · Oct 5, 2023 · e228706 · e228706
1 parent 48b3571
commit e228706
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/ci/test.sh b/ci/test.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+trap 'echo "Ctr + C!"; exit 2' SIGINT
+
 passed=true
 failedFiles=()
 
@@ -27,4 +29,4 @@ else
     echo "$file failed"
   done
   exit -1
-fi
+fi