Manual flags.

[splint.git] / configure

diff --git a/configure b/configure
index 3bc79625e6f050340883951546efdd1af1b0d0ae..998277cc20eea9dde700e5af0085288b6abbb531 100755 (executable)
--- a/configure
+++ b/configure
@@ -1,6 +1,6 @@
 #! /bin/sh
 # Guess values for system-dependent variables and create Makefiles.
 #! /bin/sh
 # Guess values for system-dependent variables and create Makefiles.

-# Generated by Autoconf 2.52 for Splint 3.0.0.20.
+# Generated by Autoconf 2.52 for Splint 3.0.0.21.

 #
 # Report bugs to <splint-bug@cs.virginia.edu>.
 #
 #
 # Report bugs to <splint-bug@cs.virginia.edu>.
 #


@@ -149,8 +149,8 @@ mandir='${prefix}/man'
 # Identity of this package.
 PACKAGE_NAME='Splint'
 PACKAGE_TARNAME='splint'
 # Identity of this package.
 PACKAGE_NAME='Splint'
 PACKAGE_TARNAME='splint'

-PACKAGE_VERSION='3.0.0.20'
-PACKAGE_STRING='Splint 3.0.0.20'
+PACKAGE_VERSION='3.0.0.21'
+PACKAGE_STRING='Splint 3.0.0.21'

 PACKAGE_BUGREPORT='splint-bug@cs.virginia.edu'
 
 ac_prev=
 PACKAGE_BUGREPORT='splint-bug@cs.virginia.edu'
 
 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
   # 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.0.20 to adapt to many kinds of systems.
+\`configure' configures Splint 3.0.0.21 to adapt to many kinds of systems.

 
 Usage: $0 [OPTION]... [VAR=VALUE]...
 
 
 Usage: $0 [OPTION]... [VAR=VALUE]...
 


@@ -633,7 +633,7 @@ fi
 
 if test -n "$ac_init_help"; then
   case $ac_init_help in
 
 if test -n "$ac_init_help"; then
   case $ac_init_help in

-     short | recursive ) echo "Configuration of Splint 3.0.0.20:";;
+     short | recursive ) echo "Configuration of Splint 3.0.0.21:";;

    esac
   cat <<\EOF
 
    esac
   cat <<\EOF
 


@@ -703,7 +703,7 @@ fi
 test -n "$ac_init_help" && exit 0
 if $ac_init_version; then
   cat <<\EOF
 test -n "$ac_init_help" && exit 0
 if $ac_init_version; then
   cat <<\EOF

-Splint configure 3.0.0.20
+Splint configure 3.0.0.21

 generated by GNU Autoconf 2.52
 
 Copyright 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001
 generated by GNU Autoconf 2.52
 
 Copyright 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001


@@ -718,7 +718,7 @@ cat >&5 <<EOF
 This file contains any messages produced by compilers while
 running configure, to aid debugging if configure makes a mistake.
 
 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.0.20, which was
+It was created by Splint $as_me 3.0.0.21, which was

 generated by GNU Autoconf 2.52.  Invocation command line was
 
   $ $0 $@
 generated by GNU Autoconf 2.52.  Invocation command line was
 
   $ $0 $@


@@ -1270,7 +1270,7 @@ fi
 
 # Define the identity of the package.
 PACKAGE=splint
 
 # Define the identity of the package.
 PACKAGE=splint

-VERSION=3.0.0.20
+VERSION=3.0.0.21

 
 # Autoconf 2.50 wants to disallow AM_ names.  We explicitly allow
 # the ones we care about.
 
 # Autoconf 2.50 wants to disallow AM_ names.  We explicitly allow
 # the ones we care about.


@@ -3059,7 +3059,7 @@ cat >>confdefs.h <<EOF
 EOF
 
 # These used to be in herald.h
 EOF
 
 # These used to be in herald.h

-LCL_PARSE_VERSION="Splint 3.0.0.20"
+LCL_PARSE_VERSION="Splint 3.0.0.21"

 
 cat >>confdefs.h <<EOF
 #define SPLINT_VERSION "$LCL_PARSE_VERSION --- `date +"%d %b %Y"`"
 
 cat >>confdefs.h <<EOF
 #define SPLINT_VERSION "$LCL_PARSE_VERSION --- `date +"%d %b %Y"`"


@@ -3289,7 +3289,7 @@ EOF
 
 cat >>$CONFIG_STATUS <<EOF
 ac_cs_version="\\
 
 cat >>$CONFIG_STATUS <<EOF
 ac_cs_version="\\

-Splint config.status 3.0.0.20
+Splint config.status 3.0.0.21

 configured by $0, generated by GNU Autoconf 2.52,
   with options \\"`echo "$ac_configure_args" | sed 's/[\\""\`\$]/\\\\&/g'`\\"
 
 configured by $0, generated by GNU Autoconf 2.52,
   with options \\"`echo "$ac_configure_args" | sed 's/[\\""\`\$]/\\\\&/g'`\\"
 


@@ -3372,7 +3372,7 @@ cat >&5 << _ACEOF
 ## Running config.status.  ##
 ## ----------------------- ##
 
 ## Running config.status.  ##
 ## ----------------------- ##
 

-This file was extended by $as_me (Splint 3.0.0.20) 2.52, executed with
+This file was extended by $as_me (Splint 3.0.0.21) 2.52, executed with

   CONFIG_FILES    = $CONFIG_FILES
   CONFIG_HEADERS  = $CONFIG_HEADERS
   CONFIG_LINKS    = $CONFIG_LINKS
   CONFIG_FILES    = $CONFIG_FILES
   CONFIG_HEADERS  = $CONFIG_HEADERS
   CONFIG_LINKS    = $CONFIG_LINKS