Fixed handling of array dimensions (bug reported by Randi J. Relander)

[splint.git] / configure

diff --git a/configure b/configure
index 3b83f8466c9e61c0fac3c4c42c4aa6bc0b996de6..5b86b6c8d3e2a888a9cbec0c3e36e288c6bd5e25 100755 (executable)
--- a/configure
+++ b/configure
@@ -1,6 +1,6 @@
 #! /bin/sh
 # Guess values for system-dependent variables and create Makefiles.
-# Generated by Autoconf 2.52 for Splint 3.0.1.2.
+# Generated by Autoconf 2.52 for Splint 3.0.1.4.
 #
 # Report bugs to <splint-bug@splint.org>.
 #
@@ -149,8 +149,8 @@ mandir='${prefix}/man'
 # Identity of this package.
 PACKAGE_NAME='Splint'
 PACKAGE_TARNAME='splint'
-PACKAGE_VERSION='3.0.1.2'
-PACKAGE_STRING='Splint 3.0.1.2'
+PACKAGE_VERSION='3.0.1.4'
+PACKAGE_STRING='Splint 3.0.1.4'
 PACKAGE_BUGREPORT='splint-bug@splint.org'
 
 ac_prev=
@@ -567,7 +567,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 <<EOF
-\`configure' configures Splint 3.0.1.2 to adapt to many kinds of systems.
+\`configure' configures Splint 3.0.1.4 to adapt to many kinds of systems.
 
 Usage: $0 [OPTION]... [VAR=VALUE]...
 
@@ -634,7 +634,7 @@ fi
 
 if test -n "$ac_init_help"; then
   case $ac_init_help in
-     short | recursive ) echo "Configuration of Splint 3.0.1.2:";;
+     short | recursive ) echo "Configuration of Splint 3.0.1.4:";;
    esac
   cat <<\EOF
 
@@ -704,7 +704,7 @@ fi
 test -n "$ac_init_help" && exit 0
 if $ac_init_version; then
   cat <<\EOF
-Splint configure 3.0.1.2
+Splint configure 3.0.1.4
 generated by GNU Autoconf 2.52
 
 Copyright 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001
@@ -719,7 +719,7 @@ cat >&5 <<EOF
 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.2, which was
+It was created by Splint $as_me 3.0.1.4, which was
 generated by GNU Autoconf 2.52.  Invocation command line was
 
   $ $0 $@
@@ -1299,7 +1299,7 @@ fi
 
 # Define the identity of the package.
 PACKAGE=splint
-VERSION=3.0.1.2
+VERSION=3.0.1.4
 
 # Autoconf 2.50 wants to disallow AM_ names.  We explicitly allow
 # the ones we care about.
@@ -3088,7 +3088,7 @@ cat >>confdefs.h <<EOF
 EOF
 
 # These used to be in herald.h
-LCL_PARSE_VERSION="Splint 3.0.1.2"
+LCL_PARSE_VERSION="Splint 3.0.1.4"
 
 cat >>confdefs.h <<EOF
 #define SPLINT_VERSION "$LCL_PARSE_VERSION --- `date +"%d %b %Y"`"
@@ -3385,7 +3385,7 @@ EOF
 
 cat >>$CONFIG_STATUS <<EOF
 ac_cs_version="\\
-Splint config.status 3.0.1.2
+Splint config.status 3.0.1.4
 configured by $0, generated by GNU Autoconf 2.52,
   with options \\"`echo "$ac_configure_args" | sed 's/[\\""\`\$]/\\\\&/g'`\\"
 
@@ -3468,7 +3468,7 @@ cat >&5 << _ACEOF
 ## Running config.status.  ##
 ## ----------------------- ##
 
-This file was extended by $as_me (Splint 3.0.1.2) 2.52, executed with
+This file was extended by $as_me (Splint 3.0.1.4) 2.52, executed with
   CONFIG_FILES    = $CONFIG_FILES
   CONFIG_HEADERS  = $CONFIG_HEADERS
   CONFIG_LINKS    = $CONFIG_LINKS