aboutsummaryrefslogtreecommitdiff
path: root/configure.in
diff options
context:
space:
mode:
authorMark Mitchell <mark@codesourcery.com>2004-07-09 22:05:06 +0000
committerMark Mitchell <mark@codesourcery.com>2004-07-09 22:05:06 +0000
commitf3c91801b23adbaf2ee9d56d6edeb5310957d60c (patch)
tree83f5f092569e2aaee77124a926ea1fb3f4e36677 /configure.in
parent34cebc787755272423b8380b7c02c927a1853bcc (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.in13
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