diff --git a/secret-device-adapters-checkout.sh b/secret-device-adapters-checkout.sh
old mode 100644
new mode 100755
index 98c56b6e7..4dd20e60a
--- a/secret-device-adapters-checkout.sh
+++ b/secret-device-adapters-checkout.sh
@@ -10,6 +10,8 @@
 # If there is an existing clone of SecretDeviceAdapters, it is used regardless
 # of its settings and which remote it points to.
 
+set -e
+
 if [ ! -f secret-device-adapters-commit ]; then
     echo The secret-device-adapters-commit file is missing.
     exit 1