# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 738438202 0
# Node ID 86652a5c442bde20b84bafde10c8be1d919f4906
# Parent  630eb7c9ea64ceb5dc073a579937b551b7d874f6
Handle sunos4.1.3 specially.

diff -r 630eb7c9ea64 -r 86652a5c442b configure1.in
--- a/configure1.in	Wed May 26 17:41:48 1993 +0000
+++ b/configure1.in	Wed May 26 17:43:22 1993 +0000
@@ -725,6 +725,7 @@
     esac
     case "${configuration}" in
       *-sunos4.0*	  ) opsys=sunos4-0 ;;
+      *-sunos4.1.3*	  ) opsys=sunos4-1-3 ;;
       *-sunos4* | *-sunos ) opsys=sunos4-1 ;;
       *-sunos5* | *-solaris* ) opsys=sol2 ;;
       *			  ) opsys=bsd4-2   ;;