diff --git a/bin/docker/boot_dev b/bin/docker/boot_dev
index 30b721cef2d..f9a763fe2e2 100755
--- a/bin/docker/boot_dev
+++ b/bin/docker/boot_dev
@@ -1,4 +1,6 @@
 #!/bin/bash
+set -e
+
 SCRIPTPATH=$(cd "$(dirname "$0")"; pwd -P)
 SOURCE_DIR=$(cd "$SCRIPTPATH" && cd ../.. && pwd -P)
 DATA_DIR="$SOURCE_DIR/data/postgres"