Cut version 1.5.0

7 years ago · e03342cd32
parent 616060b463
commit e03342cd32
1 changed files with 1 additions and 1 deletions
--- 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]}"