Merge 7191b9ad1f into 08b3a9fc7b

tests/liberty/run-test.sh

@@ -1,16 +1,17 @@
 #!/usr/bin/env bash
-set -e
+set -eo pipefail
 
 for x in *.lib; do
 	echo "Testing on $x.."
 	../../yosys -p "read_verilog small.v; synth -top small; dfflibmap -info -liberty ${x}" -ql ${x%.lib}.log
 	../../yosys-filterlib - $x 2>/dev/null > $x.filtered
 	../../yosys-filterlib -verilogsim $x > $x.verilogsim
-	diff $x.filtered $x.filtered.ok && diff $x.verilogsim $x.verilogsim.ok
-done || exit 1
+	diff $x.filtered $x.filtered.ok
+	diff $x.verilogsim $x.verilogsim.ok
+done
 
 for x in *.ys; do
   echo "Running $x.."
   ../../yosys -q -s $x -l ${x%.ys}.log
-done || exit 1
+done