diff --git a/scripts/workspace-run b/scripts/workspace-run
index d92a62d264..317b4db148 100755
--- a/scripts/workspace-run
+++ b/scripts/workspace-run
@@ -1,4 +1,5 @@
 #!/bin/bash
+set -e
 
 for dir in packages/* distributions/* ; do
  echo "$dir"