# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 839559637 0
# Node ID 2b7f0fe442583032044ad5ae803ae7aba43190e3
# Parent  574a328ee4b27ab7c8241cd6f30a6c876cac5ff7
(i[3456]86-sequent-ptx4*, i[3456]86-sequent-sysv4*): New alternative.

diff -r 574a328ee4b2 -r 2b7f0fe44258 configure.in
--- a/configure.in	Fri Aug 09 02:52:02 1996 +0000
+++ b/configure.in	Fri Aug 09 03:00:37 1996 +0000
@@ -513,6 +513,12 @@
     machine=symmetry opsys=bsd4-3
   ;;
 
+  ## Sequent Symmetry running ptx 4, which is a modified SVR4.
+  i[3456]86-sequent-ptx4* | i[3456]86-sequent-sysv4* )
+    machine=sequent-ptx opsys=ptx4
+    NON_GNU_CPP=/usr/lib/cpp
+  ;;
+
   ## Sequent Symmetry running DYNIX/ptx
   ## Use the old cpp rather than the newer ANSI one.
   i[3456]86-sequent-ptx* )