# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1012125794 0
# Node ID 5fcba75d6dd864a523e074f3f8f6385c9b201b61
# Parent  b628f22c9f56fa2520d10587adb51e389012392b
Recognize BSD/OS 5.0.

diff -r b628f22c9f56 -r 5fcba75d6dd8 configure
--- a/configure	Sun Jan 27 09:25:37 2002 +0000
+++ b/configure	Sun Jan 27 10:03:14 2002 +0000
@@ -1362,7 +1362,7 @@
       *-*-bsdi2.0* )		opsys=bsdos2 ;;
       *-*-bsdi2* )		opsys=bsdos2-1 ;;
       *-*-bsdi3* )		opsys=bsdos3 ;;
-      *-*-bsdi4* )		opsys=bsdos4 ;;
+      *-*-bsdi[45]* )		opsys=bsdos4 ;;
     esac
   ;;
 
diff -r b628f22c9f56 -r 5fcba75d6dd8 configure.in
--- a/configure.in	Sun Jan 27 09:25:37 2002 +0000
+++ b/configure.in	Sun Jan 27 10:03:14 2002 +0000
@@ -249,7 +249,7 @@
       *-*-bsdi2.0* )		opsys=bsdos2 ;;
       *-*-bsdi2* )		opsys=bsdos2-1 ;;
       *-*-bsdi3* )		opsys=bsdos3 ;;
-      *-*-bsdi4* )		opsys=bsdos4 ;;
+      *-*-bsdi[45]* )		opsys=bsdos4 ;;
     esac
   ;;