diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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 @@ if test "${with_sgi_dl+set}" = set; then 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 @@ if test "${with_dl_dld+set}" = set; then 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 |