1 files changed, 2 insertions, 2 deletions
diff --git a/runtests.sh b/runtests.sh
index 748bd40..bfb01d9 100755
--- a/runtests.sh
+++ b/runtests.sh
@@ -1,9 +1,9 @@
-#!/bin/sh
+#!/bin/bash
+set -eo pipefail
 PLATFORM="`uname -s`"
 [ "$1" ] && VERSION="$1" || VERSION="2.1devel"
-set -e
 # Portable "ggrep -A" replacement.
 # Work around Solaris awk record limit of 2559 bytes.

diff --git a/runtests.sh b/runtests.sh index 748bd40..bfb01d9 100755 --- a/runtests.sh +++ b/runtests.sh
@@ -1,9 +1,9 @@
1	#!/bin/sh	1	#!/bin/bash
		2	set -eo pipefail
2		3
3	PLATFORM="`uname -s`"	4	PLATFORM="`uname -s`"
4	[ "$1" ] && VERSION="$1" \|\| VERSION="2.1devel"	5	[ "$1" ] && VERSION="$1" \|\| VERSION="2.1devel"
5		6
6	set -e
7		7
8	# Portable "ggrep -A" replacement.	8	# Portable "ggrep -A" replacement.
9	# Work around Solaris awk record limit of 2559 bytes.	9	# Work around Solaris awk record limit of 2559 bytes.