changeset 42988:5fcba75d6dd8

Recognize BSD/OS 5.0.
author Eli Zaretskii <eliz@gnu.org>
date Sun, 27 Jan 2002 10:03:14 +0000
parents b628f22c9f56
children 51ad1ea00be6
files configure configure.in
diffstat 2 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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
   ;;
 
--- 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
   ;;