Merge branch 'master' into clang22

Author: offa

script/auto_format.sh

@@ -1,2 +1,5 @@
 #!/usr/bin/env bash
+
+set -e
+
 (find api_search -name "*.cpp" && find include -name "*.hpp" && find examples -name "*.cpp" && find test -name "*.cpp") | xargs clang-format -i {}

script/ci.sh

@@ -1,5 +1,7 @@
 #!/bin/bash
 
+set -e
+
 # Central script called by the CI
 # Usage: 
 #    ci.sh {run_build|run_tests}
@@ -17,7 +19,7 @@ if [[ "$OSTYPE" == "msys" || "$OSTYPE" == "cygwin" ]]; then
     # Windows path handling is a never ending source of ...
     INSTALL_PREFIX="$USERPROFILE\\.local"
     INSTALL_PREFIX=$(cygpath -u "$INSTALL_PREFIX")  # Make CMake happy when using git bash under windows
-    export CMAKE_PREFIX_PATH=$INSTALL_PREFIX;$CMAKE_PREFIX_PATH  # Notice the ";" instead of ":"
+    export CMAKE_PREFIX_PATH="${INSTALL_PREFIX}${CMAKE_PREFIX_PATH:+;${CMAKE_PREFIX_PATH}}" # Notice the ";" instead of ":"
 else
     INSTALL_PREFIX="$HOME/.local"
     export CMAKE_PREFIX_PATH=$INSTALL_PREFIX:$CMAKE_PREFIX_PATH

script/ci_setup_linux.sh

@@ -1,4 +1,6 @@
 #!/bin/bash
 
+set -e
+
 apt-get update
 apt-get install -y git