changeset 3115:86652a5c442b

Handle sunos4.1.3 specially.
author Richard M. Stallman <rms@gnu.org>
date Wed, 26 May 1993 17:43:22 +0000
parents 630eb7c9ea64
children 05c3ef28bb6b
files configure1.in
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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   ;;