Fixed up for win32 building (winconfig.h required)

[splint.git] / configure

diff --git a/configure b/configure
index fc4afae8f321a0c38a3423908e95b8feeb347193..67d5526f848b9339099ffcf53e17a367331c2eb8 100755 (executable)
--- a/configure
+++ b/configure
@@ -2,7 +2,7 @@
 # Guess values for system-dependent variables and create Makefiles.
 # Generated by Autoconf 2.52 for Splint 3.0.1.1.
 #
-# Report bugs to <splint-bug@cs.virginia.edu>.
+# Report bugs to <splint-bug@splint.org>.
 #
 # Copyright 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001
 # Free Software Foundation, Inc.
@@ -151,7 +151,7 @@ PACKAGE_NAME='Splint'
 PACKAGE_TARNAME='splint'
 PACKAGE_VERSION='3.0.1.1'
 PACKAGE_STRING='Splint 3.0.1.1'
-PACKAGE_BUGREPORT='splint-bug@cs.virginia.edu'
+PACKAGE_BUGREPORT='splint-bug@splint.org'
 
 ac_prev=
 for ac_option
@@ -660,7 +660,7 @@ Some influential environment variables:
 Use these variables to override the choices made by `configure' or to help
 it to find libraries and programs with nonstandard names/locations.
 
-Report bugs to <splint-bug@cs.virginia.edu>.
+Report bugs to <splint-bug@splint.org>.
 EOF
 fi