diff --git a/dev.sh b/dev.sh
index 6c842bd9..5c5e9c51 100755
--- a/dev.sh
+++ b/dev.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+set -e
+
 PHPBIN=php7.2
 
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"