The patch needed the following squash-in to avoid spurious failures
due to `errexit' flag (mis)handling by Solaris /bin/sh:
diff --git a/tests/instspc-tests.sh b/tests/instspc-tests.sh
index 3cb4c71..fa84f3b 100755
--- a/tests/instspc-tests.sh
+++ b/tests/instspc-tests.sh
@@ -191,8 +191,12 @@ fi
### If we are still here, we have to run a test ...
-# We'll need the full setup provided by `tests/defs'.
+# We'll need the full setup provided by `tests/defs'. Temporarly disable
+# the errexit flag, since the setup code might not be prepared to deal
+# with it.
+set +e
. ./defs || Exit 99
+set -e
eval "instspc_test_string=\${instspc__$instspc_test_name}" || Exit 99
if test x"$instspc_test_string" = x; then
-*-*-*-
I will post the results of the various testsuite runs as soon as
I get them (each result will be posted in an individual message, so
that I don't have to do all the testing at once).
Regards,
Stefano
