PATCH: Disable libmudflap when not on GNU/Linux

[Mark Mitchell]

As previously discussed on the mailing list.

--
Mark Mitchell
CodeSourcery, LLC
mark@codesourcery.com

2004-07-09  Mark Mitchell  <mark@codesourcery.com>

	* configure.in: Do not build libmudflap by default on non-GNU/Linux
	systems.
	* configure: Regenerated.

Index: configure.in
===================================================================
RCS file: /cvs/gcc/gcc/configure.in,v
retrieving revision 1.299
diff -c -5 -p -r1.299 configure.in
*** configure.in	5 Jul 2004 21:07:13 -0000	1.299
--- configure.in	9 Jul 2004 21:57:59 -0000
*************** no)
*** 349,364 ****
  esac
  
  
  # Allow --disable-libmudflap to exclude target-libmudflap
  case $enable_libmudflap in
! yes | "")
!     # By default it's enabled
      ;;
  no)
      noconfigdirs="$noconfigdirs target-libmudflap"
      ;;
  esac
  
  
  case "${target}" in
    *-*-chorusos)
--- 349,373 ----
  esac
  
  
  # Allow --disable-libmudflap to exclude target-libmudflap
  case $enable_libmudflap in
! 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
  
  
  case "${target}" in
    *-*-chorusos)