# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 803847508 0
# Node ID 8c52262315932609ce24ccb7f00f3c5d83c4c1b0
# Parent  6da25b126f030077864b2b2dfc578adecf13d74d
Treat SunOS 4.1.4 like SunOS 4.1.3.
(Likewise for SunOS 4.1.5 thorugh 4.1.9, should they ever exist.)

diff -r 6da25b126f03 -r 8c5226231593 configure.in
--- a/configure.in	Thu Jun 22 16:23:52 1995 +0000
+++ b/configure.in	Thu Jun 22 18:58:28 1995 +0000
@@ -653,7 +653,7 @@
       ## The Sun386 didn't get past 4.0.
       i[345]86-*-sunos4	  ) opsys=sunos4-0 ;;
       *-sunos4.0*	  ) opsys=sunos4-0 ;;
-      *-sunos4.1.3* | *-sunos4shr*  ) opsys=sunos4shr
+      *-sunos4.1.[3-9]* | *-sunos4shr*  ) opsys=sunos4shr
 		NON_GNU_CPP=/usr/lib/cpp
 		;;
       *-sunos4* | *-sunos ) opsys=sunos4-1