diff options
| author | Mark Mitchell <mark@codesourcery.com> | 2004-07-09 22:05:06 +0000 |
|---|---|---|
| committer | Mark Mitchell <mmitchel@gcc.gnu.org> | 2004-07-09 22:05:06 +0000 |
| commit | dfcada9a4f857695ff8d7e7ea16e5b3b8d295134 (patch) | |
| tree | 83f5f092569e2aaee77124a926ea1fb3f4e36677 /configure.in | |
| parent | 1bf4ab23be149358053e63587d1c09e7d001088f (diff) | |
| download | gcc-dfcada9a4f857695ff8d7e7ea16e5b3b8d295134.zip gcc-dfcada9a4f857695ff8d7e7ea16e5b3b8d295134.tar.gz gcc-dfcada9a4f857695ff8d7e7ea16e5b3b8d295134.tar.bz2 | |
configure.in: Do not build libmudflap by default on non-GNU/Linux systems.
* configure.in: Do not build libmudflap by default on non-GNU/Linux
systems.
* configure: Regenerated.
From-SVN: r84406
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/configure.in b/configure.in index 44cbd88..8956153 100644 --- a/configure.in +++ b/configure.in @@ -351,12 +351,21 @@ esac # Allow --disable-libmudflap to exclude target-libmudflap case $enable_libmudflap in -yes | "") - # By default it's enabled +yes) ;; no) noconfigdirs="$noconfigdirs target-libmudflap" ;; +"") + case "${target}" in + *-*-linux*) + # Enable libmudflap by default in GNU/Linux. + ;; + *) + # Disable it by default everywhere else. + noconfigdirs="$noconfigdirs target-libmudflap" + ;; + esac esac |