X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/7b8f57160729366ce0a8561e452ac276880d7469..b941db6b4a970ba02fb88f587cf4e40b10c9e286:/configure

diff --git a/configure b/configure
index bbe3df9..cce3ae0 100755
--- a/configure
+++ b/configure
@@ -1,6 +1,6 @@
 #! /bin/sh
 # Guess values for system-dependent variables and create Makefiles.
-# Generated by GNU Autoconf 2.53 for Splint 3.0.1.7.
+# Generated by GNU Autoconf 2.53 for Splint 3.0.1.8.
 #
 # Report bugs to <splint-bug@splint.org>.
 #
@@ -256,8 +256,8 @@ SHELL=${CONFIG_SHELL-/bin/sh}
 # Identity of this package.
 PACKAGE_NAME='Splint'
 PACKAGE_TARNAME='splint'
-PACKAGE_VERSION='3.0.1.7'
-PACKAGE_STRING='Splint 3.0.1.7'
+PACKAGE_VERSION='3.0.1.8'
+PACKAGE_STRING='Splint 3.0.1.8'
 PACKAGE_BUGREPORT='splint-bug@splint.org'
 
 ac_unique_file="src/lclinit.c"
@@ -725,7 +725,7 @@ if test "$ac_init_help" = "long"; then
   # Omit some internal or obsolete options to make the list less imposing.
   # This message is too long to be a string in the A/UX 3.1 sh.
   cat <<_ACEOF
-\`configure' configures Splint 3.0.1.7 to adapt to many kinds of systems.
+\`configure' configures Splint 3.0.1.8 to adapt to many kinds of systems.
 
 Usage: $0 [OPTION]... [VAR=VALUE]...
 
@@ -792,7 +792,7 @@ fi
 
 if test -n "$ac_init_help"; then
   case $ac_init_help in
-     short | recursive ) echo "Configuration of Splint 3.0.1.7:";;
+     short | recursive ) echo "Configuration of Splint 3.0.1.8:";;
    esac
   cat <<\_ACEOF
 
@@ -882,7 +882,7 @@ fi
 test -n "$ac_init_help" && exit 0
 if $ac_init_version; then
   cat <<\_ACEOF
-Splint configure 3.0.1.7
+Splint configure 3.0.1.8
 generated by GNU Autoconf 2.53
 
 Copyright 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001, 2002
@@ -897,7 +897,7 @@ cat >&5 <<_ACEOF
 This file contains any messages produced by compilers while
 running configure, to aid debugging if configure makes a mistake.
 
-It was created by Splint $as_me 3.0.1.7, which was
+It was created by Splint $as_me 3.0.1.8, which was
 generated by GNU Autoconf 2.53.  Invocation command line was
 
   $ $0 $@
@@ -1516,7 +1516,7 @@ fi
 
 # Define the identity of the package.
  PACKAGE=splint
- VERSION=3.0.1.7
+ VERSION=3.0.1.8
 
 
 # Some tools Automake needs.
@@ -3580,7 +3580,7 @@ _ACEOF
 
 
 # These used to be in herald.h
-LCL_PARSE_VERSION="Splint 3.0.1.7"
+LCL_PARSE_VERSION="Splint 3.0.1.8"
 
 cat >>confdefs.h <<_ACEOF
 #define SPLINT_VERSION "$LCL_PARSE_VERSION --- `date +"%d %b %Y"`"
@@ -4014,7 +4014,7 @@ _ASBOX
 } >&5
 cat >&5 <<_CSEOF
 
-This file was extended by Splint $as_me 3.0.1.7, which was
+This file was extended by Splint $as_me 3.0.1.8, which was
 generated by GNU Autoconf 2.53.  Invocation command line was
 
   CONFIG_FILES    = $CONFIG_FILES
@@ -4076,7 +4076,7 @@ _ACEOF
 
 cat >>$CONFIG_STATUS <<_ACEOF
 ac_cs_version="\\
-Splint config.status 3.0.1.7
+Splint config.status 3.0.1.8
 configured by $0, generated by GNU Autoconf 2.53,
   with options \\"`echo "$ac_configure_args" | sed 's/[\\""\`\$]/\\\\&/g'`\\"