non-standard options removed

asn1c/check-parsing.sh

@@ -13,7 +13,7 @@ print_status() {
     echo "Error while processing $PROCESSING"
 }
 
-trap print_status ERR
+trap print_status EXIT
 
 if [ "x${top_srcdir}" = "x" ]; then
   top_srcdir=".."
@@ -40,4 +40,8 @@ for ref in ${top_srcdir}/tests/*.asn1.-*; do
 	fi
 done
 
+if [ $ec = 0 ]; then
+    trap '' EXIT
+fi
+
 exit $ec

asn1c/tests/check-assembly.sh

@@ -10,7 +10,6 @@ if [ "x$1" = "x" ]; then
 	exit
 fi
 
-set -o pipefail
 set -e
 
 # Compute the .asn1 spec name by the given file name.