Committing to update configuration scripts.

[splint.git] / configure

diff --git a/configure b/configure
index abc138d77a5570aa1eb67770754771a07ee58c62..82b83789dc8e44dae90f6842df8c8df523be7a71 100755 (executable)
--- 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.1.1.1.
+# Generated by GNU Autoconf 2.53 for Splint 3.1.1.2.
 #
 # 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.1.1.1'
-PACKAGE_STRING='Splint 3.1.1.1'
+PACKAGE_VERSION='3.1.1.2'
+PACKAGE_STRING='Splint 3.1.1.2'
 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.1.1.1 to adapt to many kinds of systems.
+\`configure' configures Splint 3.1.1.2 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.1.1.1:";;
+     short | recursive ) echo "Configuration of Splint 3.1.1.2:";;
    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.1.1.1
+Splint configure 3.1.1.2
 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.1.1.1, which was
+It was created by Splint $as_me 3.1.1.2, 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.1.1.1
+ VERSION=3.1.1.2
 
 
 # Some tools Automake needs.
@@ -3582,7 +3582,7 @@ _ACEOF
 
 
 # These used to be in herald.h
-LCL_PARSE_VERSION="Splint 3.1.1.1"
+LCL_PARSE_VERSION="Splint 3.1.1.2"
 
 cat >>confdefs.h <<_ACEOF
 #define SPLINT_VERSION "$LCL_PARSE_VERSION --- `date +"%d %b %Y"`"
@@ -4032,7 +4032,7 @@ _ASBOX
 } >&5
 cat >&5 <<_CSEOF
 
-This file was extended by Splint $as_me 3.1.1.1, which was
+This file was extended by Splint $as_me 3.1.1.2, which was
 generated by GNU Autoconf 2.53.  Invocation command line was
 
   CONFIG_FILES    = $CONFIG_FILES
@@ -4094,7 +4094,7 @@ _ACEOF
 
 cat >>$CONFIG_STATUS <<_ACEOF
 ac_cs_version="\\
-Splint config.status 3.1.1.1
+Splint config.status 3.1.1.2
 configured by $0, generated by GNU Autoconf 2.53,
   with options \\"`echo "$ac_configure_args" | sed 's/[\\""\`\$]/\\\\&/g'`\\"