Avoid semicolon usage in echo.
diff --git a/configure b/configure
index 099f867..60f5f5f 100755
--- a/configure
+++ b/configure
@@ -1,5 +1,5 @@
#! /bin/sh
-# From configure.in Revision: 1.372 .
+# From configure.in Revision: 1.373 .
# Guess values for system-dependent variables and create Makefiles.
# Generated by GNU Autoconf 2.53 for python 2.3.
#
@@ -11750,7 +11750,7 @@
echo "$as_me:$LINENO: result: $withval" >&5
echo "${ECHO_T}$withval" >&6
-echo --with-sgi-dl is unsupported; see README
+echo --with-sgi-dl is unsupported, see README
exit 1
cat >>confdefs.h <<\_ACEOF
@@ -11781,7 +11781,7 @@
echo "$as_me:$LINENO: result: $withval" >&5
echo "${ECHO_T}$withval" >&6
-echo --with-dl-dld is unsupported; see README
+echo --with-dl-dld is unsupported, see README
exit 1
cat >>confdefs.h <<\_ACEOF