ease up on the pipefail

diff --git a/rg/rg.bash b/rg/rg.bash
index 51c3e598a5f12944103958e31a546fa319e52c32..9730a12f28cc4e8575a3e0cc85e69ea6522236b7 100644 (file)
--- a/rg/rg.bash
+++ b/rg/rg.bash
@@ -20,7 +20,6 @@
 
 set -e
 set -u
-set -o pipefail
 
 # Use the script's first argument or the supplied WEBI_VERSION or ''
 WEBI_VERSION=${1:-${WEBI_VERSION:-}}