fixes post-CGAL-6.0

[skip ci]
2024-10-01 16:31:06 +02:00
parent 1f3d820a42
commit 2ca0e52a85
3 changed files with 8 additions and 1 deletions
@@ -21,6 +21,12 @@

 set -e # Exit the script on first error, for safety

+err_report() {
+    echo "Error (code $?) on line $(caller)"
+}
+
+trap 'err_report $LINENO' ERR
+
 PREVIOUS_MAJOR_RELEASE=$1
 CURRENT_RELEASE=$2