diff options
| author | Nathanael Nerode <neroden@gcc.gnu.org> | 2004-03-22 09:49:36 +0000 |
|---|---|---|
| committer | Nathanael Nerode <neroden@gcc.gnu.org> | 2004-03-22 09:49:36 +0000 |
| commit | 6dd297da046efe0b3be545053a676494daba3a2a (patch) | |
| tree | 91b4b636ee0cdc53a2d417c4639dd316eb294939 /gcc/configure.ac | |
| parent | 340de83fd55cbd92e1a168094e61506c967dc9e2 (diff) | |
| download | gcc-6dd297da046efe0b3be545053a676494daba3a2a.zip gcc-6dd297da046efe0b3be545053a676494daba3a2a.tar.gz gcc-6dd297da046efe0b3be545053a676494daba3a2a.tar.bz2 | |
configure.ac: Allow --disable-coverage-flags (for the future benefit of top level bootstrap...
* configure.ac: Allow --disable-coverage-flags (for the future benefit
of top level bootstrap, and consistency). Reindent.
* configure: Regenerate.
From-SVN: r79817
Diffstat (limited to 'gcc/configure.ac')
| -rw-r--r-- | gcc/configure.ac | 22 |
1 files changed, 13 insertions, 9 deletions
diff --git a/gcc/configure.ac b/gcc/configure.ac index 775be55..9ea7dfa 100644 --- a/gcc/configure.ac +++ b/gcc/configure.ac @@ -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) |