# HG changeset patch
# User Jim Blandy <jimb@redhat.com>
# Date 742975866 0
# Node ID 66f2f78384363544289e9dd46e9978901d5026e2
# Parent  a91cdccf5458c93187d584327f54849a0999dcf8
	* configure.in (m68k-bull-sysv3): new config.

diff -r a91cdccf5458 -r 66f2f7838436 configure1.in
--- a/configure1.in	Sun Jul 18 06:10:46 1993 +0000
+++ b/configure1.in	Sun Jul 18 06:11:06 1993 +0000
@@ -449,8 +449,13 @@
     machine=7300 opsys=usg5-2-2
   ;;
 
+  ## Bull dpx2
+  m68*-bull-sysv3* )
+    machine=dpx2 opsys=usg5-3
+  ;;
+
   ## Bull sps7
-  m68*-bull-sysv* )
+  m68*-bull-sysv2* )
     machine=sps7 opsys=usg5-2
   ;;