From 16ce915aac7add2650aa539a3f1428da358ee337 Mon Sep 17 00:00:00 2001
From: Ian Kelling <iank@fsf.org>
Date: Tue, 5 Jun 2018 00:44:23 -0400
Subject: fix export.py error, add example output

---
 doall.sh | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'doall.sh')

diff --git a/doall.sh b/doall.sh
index ed1c61e..3ededc4 100755
--- a/doall.sh
+++ b/doall.sh
@@ -1,6 +1,7 @@
 #!/bin/bash
 
-set -e
+set -eE -o pipefail
+trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR
 set -x
 
 rm distfiles output *.log *.h5 -rf
@@ -60,5 +61,3 @@ find output -type f -empty -delete
 echo no license: >> broken
 grep "Project license" output/* -c |grep :0|sed 's/:0//' >> broken
 grep "Project license" output/* -c |grep :0|sed 's/:0//'|xargs rm
-
-
-- 
cgit v1.2.3