Fixed some /@*i@*/ comments in the code.

[splint.git] / configure

diff --git a/configure b/configure
index bbe3df9583f462fcabec4665b8cf2db329dd9b4c..cce3ae0c686ad7689ae8349d4cf2d6a7d408001f 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 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>.
 #
 #
 # 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'
 # 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"
 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
   # 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]...
 
 
 Usage: $0 [OPTION]... [VAR=VALUE]...
 


@@ -792,7 +792,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.1.7:";;
+     short | recursive ) echo "Configuration of Splint 3.0.1.8:";;

    esac
   cat <<\_ACEOF
 
    esac
   cat <<\_ACEOF
 


@@ -882,7 +882,7 @@ fi
 test -n "$ac_init_help" && exit 0
 if $ac_init_version; then
   cat <<\_ACEOF
 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
 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.
 
 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 $@
 generated by GNU Autoconf 2.53.  Invocation command line was
 
   $ $0 $@


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

- VERSION=3.0.1.7
+ VERSION=3.0.1.8

 
 
 # Some tools Automake needs.
 
 
 # Some tools Automake needs.


@@ -3580,7 +3580,7 @@ _ACEOF
 
 
 # These used to be in herald.h
 
 
 # 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"`"
 
 cat >>confdefs.h <<_ACEOF
 #define SPLINT_VERSION "$LCL_PARSE_VERSION --- `date +"%d %b %Y"`"


@@ -4014,7 +4014,7 @@ _ASBOX
 } >&5
 cat >&5 <<_CSEOF
 
 } >&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
 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="\\
 
 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'`\\"
 
 configured by $0, generated by GNU Autoconf 2.53,
   with options \\"`echo "$ac_configure_args" | sed 's/[\\""\`\$]/\\\\&/g'`\\"