# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 768080866 0
# Node ID 1d78b0a43c59114ce4796d3b162f092f7b30ac1d
# Parent  68d20ebaf64e5832d3b2b3be1a866a2fa2d963c4
Recognize m88k-dg-dgux5.4.3* and m88k-dg-dgux5.4.2*.
Use lower case names for the s files.

diff -r 68d20ebaf64e -r 1d78b0a43c59 configure1.in
--- a/configure1.in	Wed May 04 07:01:35 1994 +0000
+++ b/configure1.in	Wed May 04 19:47:46 1994 +0000
@@ -571,11 +571,11 @@
   ;;
 
   ## Data General AViiON Machines
-  m88k-dg-dgux5.4R3* )
-    machine=aviion opsys=dgux5-4R3
+  m88k-dg-dgux5.4R3* | m88k-dg-dgux5.4.3* )
+    machine=aviion opsys=dgux5-4r3
   ;;
-  m88k-dg-dgux5.4R2* )
-    machine=aviion opsys=dgux5-4R2
+  m88k-dg-dgux5.4R2* | m88k-dg-dgux5.4.2* )
+    machine=aviion opsys=dgux5-4r2
   ;;
   m88k-dg-dgux* )
     machine=aviion opsys=dgux