diff options
author | Mark Mitchell <mark@codesourcery.com> | 2004-07-09 22:05:06 +0000 |
---|---|---|
committer | Mark Mitchell <mark@codesourcery.com> | 2004-07-09 22:05:06 +0000 |
commit | f3c91801b23adbaf2ee9d56d6edeb5310957d60c (patch) | |
tree | 83f5f092569e2aaee77124a926ea1fb3f4e36677 /configure.in | |
parent | 34cebc787755272423b8380b7c02c927a1853bcc (diff) |
* configure.in: Do not build libmudflap by default on non-GNU/Linux
systems.
* configure: Regenerated.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@84406 138bc75d-0d04-0410-961f-82ee72b054a4
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 44cbd8854d7..89561535300 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 |