#! /bin/sh
-# From configure.in Id: configure.in 1721 2006-08-07 03:05:14Z sirvulcan .
+# From configure.in Id: configure.in 1829 2006-12-12 10:50:48Z sirvulcan .
# Guess values for system-dependent variables and create Makefiles.
# Generated by GNU Autoconf 2.60 for X3 1.5.
#
if test $ac_cv_header_google_coredumper_h = yes; then
:
else
- { { echo "$as_me:$LINENO: error: google/coredumper.h, the coredumper headers, were not found. Install coredumper or use --with-coredumper=PATH to tell me how to find it, where PATH/include/google/coredumper.h exists. For conveniance, just type 'tools/core_install.sh' now, to install coredumper in your home directory." >&5
-echo "$as_me: error: google/coredumper.h, the coredumper headers, were not found. Install coredumper or use --with-coredumper=PATH to tell me how to find it, where PATH/include/google/coredumper.h exists. For conveniance, just type 'tools/core_install.sh' now, to install coredumper in your home directory." >&2;}
- { (exit 1); exit 1; }; }
+ { echo "$as_me:$LINENO: result: google/coredumper.h, the coredumper headers, were not found. Install coredumper or use --with-coredumper=PATH to tell me how to find it, where PATH/include/google/coredumper.h exists. For conveniance, just type 'tools/core_install.sh' now, to install coredumper in your home directory." >&5
+echo "${ECHO_T}google/coredumper.h, the coredumper headers, were not found. Install coredumper or use --with-coredumper=PATH to tell me how to find it, where PATH/include/google/coredumper.h exists. For conveniance, just type 'tools/core_install.sh' now, to install coredumper in your home directory." >&6; }
fi
LIBS="-lcoredumper $LIBS"
else
- { { echo "$as_me:$LINENO: error: Coredumper library not found. Install coredumper, or use --with-coredumper=PATH to tell me how to find it, where PATH/lib/libcoredumper.so exists. For conveniance, just type 'tools/core_install.sh' now, to install coredumper in your home directory." >&5
-echo "$as_me: error: Coredumper library not found. Install coredumper, or use --with-coredumper=PATH to tell me how to find it, where PATH/lib/libcoredumper.so exists. For conveniance, just type 'tools/core_install.sh' now, to install coredumper in your home directory." >&2;}
- { (exit 1); exit 1; }; }
+ { echo "$as_me:$LINENO: result: Coredumper library not found. Install coredumper, or use --with-coredumper=PATH to tell me how to find it, where PATH/lib/libcoredumper.so exists. For conveniance, just type 'tools/core_install.sh' now, to install coredumper in your home directory." >&5
+echo "${ECHO_T}Coredumper library not found. Install coredumper, or use --with-coredumper=PATH to tell me how to find it, where PATH/lib/libcoredumper.so exists. For conveniance, just type 'tools/core_install.sh' now, to install coredumper in your home directory." >&6; }
fi