configure.ac: Allow --disable-coverage-flags (for the future benefit of top level...
authorNathanael Nerode <neroden@gcc.gnu.org>
Mon, 22 Mar 2004 09:49:36 +0000 (09:49 +0000)
committerNathanael Nerode <neroden@gcc.gnu.org>
Mon, 22 Mar 2004 09:49:36 +0000 (09:49 +0000)
* configure.ac: Allow --disable-coverage-flags (for the future benefit
of top level bootstrap, and consistency).  Reindent.
* configure: Regenerate.

From-SVN: r79817

gcc/ChangeLog
gcc/configure
gcc/configure.ac

index 1478197c2c8b4ba13f7b87fe2d71bf40006dc268..c4098afaa47ae09b733c9019a32d7b52f51f1465 100644 (file)
@@ -1,3 +1,9 @@
+2004-03-22  Nathanael Nerode  <neroden@gcc.gnu.org>
+
+       * configure.ac: Allow --disable-coverage-flags (for the future benefit
+       of top level bootstrap, and consistency).  Reindent.
+       * configure: Regenerate.
+
 2004-03-21  Kazu Hirata  <kazu@cs.umass.edu>
 
        * bt-load.c, builtins.c, cfghooks.c, cfgrtl.c, gcse.c,
index bb83bc1b477f02abe67ddaea7f095aac94b8b154..f096f8be65a0d637648a83920be45a82b22682b0 100755 (executable)
@@ -4494,17 +4494,21 @@ fi
 if test "${enable_coverage+set}" = set; then
   enableval="$enable_coverage"
   case "${enableval}" in
-yes|noopt)
-       coverage_flags="-fprofile-arcs -ftest-coverage -frandom-seed=\$@ -O0"
-       ;;
-opt)
-       coverage_flags="-fprofile-arcs -ftest-coverage -frandom-seed=\$@ -O2"
-       ;;
-*)
-       { { echo "$as_me:$LINENO: error: unknown coverage setting $enableval" >&5
+  yes|noopt)
+    coverage_flags="-fprofile-arcs -ftest-coverage -frandom-seed=\$@ -O0"
+    ;;
+  opt)
+    coverage_flags="-fprofile-arcs -ftest-coverage -frandom-seed=\$@ -O2"
+    ;;
+  no)
+    # a.k.a. --disable-coverage
+    coverage_flags=""
+    ;;
+  *)
+    { { echo "$as_me:$LINENO: error: unknown coverage setting $enableval" >&5
 echo "$as_me: error: unknown coverage setting $enableval" >&2;}
    { (exit 1); exit 1; }; }
-       ;;
+    ;;
 esac
 else
   coverage_flags=""
@@ -5138,7 +5142,7 @@ if test "${gcc_cv_prog_makeinfo_modern+set}" = set; then
 else
     ac_prog_version=`$MAKEINFO --version 2>&1 |
                    sed -n 's/^.*GNU texinfo.* \([0-9][0-9.]*\).*$/\1/p'`
-  echo "configure:5141: version of makeinfo is $ac_prog_version" >&5
+  echo "configure:5145: version of makeinfo is $ac_prog_version" >&5
   case $ac_prog_version in
     '')     gcc_cv_prog_makeinfo_modern=no;;
     4.[2-9]*)
index 775be55690afff074182c1d9b841c6c638043364..9ea7dfa5f1e886db68225af44a0a16a8e817940a 100644 (file)
@@ -474,15 +474,19 @@ AC_ARG_ENABLE(coverage,
                          optimization. Values are opt, noopt,
                          default is noopt],
 [case "${enableval}" in
-yes|noopt)
-       coverage_flags="-fprofile-arcs -ftest-coverage -frandom-seed=\$@ -O0"
-       ;;
-opt)
-       coverage_flags="-fprofile-arcs -ftest-coverage -frandom-seed=\$@ -O2"
-       ;;
-*)
-       AC_MSG_ERROR(unknown coverage setting $enableval)
-       ;;
+  yes|noopt)
+    coverage_flags="-fprofile-arcs -ftest-coverage -frandom-seed=\$@ -O0"
+    ;;
+  opt)
+    coverage_flags="-fprofile-arcs -ftest-coverage -frandom-seed=\$@ -O2"
+    ;;
+  no)
+    # a.k.a. --disable-coverage
+    coverage_flags=""
+    ;;
+  *)
+    AC_MSG_ERROR(unknown coverage setting $enableval)
+    ;;
 esac],
 [coverage_flags=""])
 AC_SUBST(coverage_flags)