# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 769752317 0
# Node ID 7123c846b9b7d1d3e3b29285ab407120d548c086
# Parent  c363ad97af4a90e9e80e5b1389c8f9870e3eb347
(i[34]86-next-*): New alternative.

diff -r c363ad97af4a -r 7123c846b9b7 configure1.in
--- a/configure1.in	Mon May 23 22:44:08 1994 +0000
+++ b/configure1.in	Tue May 24 04:05:17 1994 +0000
@@ -828,7 +828,7 @@
   ;;
 
   ## NeXT
-  m68*-next-* )
+  m68*-next-* | i[34]86-next-* )
     machine=next opsys=mach2
   ;;