diff --git a/scripts/dist.sh b/scripts/dist.sh
index 82519a264..098a3311a 100755
--- a/scripts/dist.sh
+++ b/scripts/dist.sh
@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
-set -e pipefail
+set -e
 
 # Get the parent directory of where this script is.
 SOURCE="${BASH_SOURCE[0]}"