# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 745018251 0
# Node ID 87c959b66ae28b784840ac91d5337628537a4c7b
# Parent  8c4835a24acab74a33563d96b14598a1f638061c
(m88k-tektronix-sysv3*): Added the missing *.
Use tekxd88, not tekXD88.

diff -r 8c4835a24aca -r 87c959b66ae2 configure1.in
--- a/configure1.in	Tue Aug 10 21:27:23 1993 +0000
+++ b/configure1.in	Tue Aug 10 21:30:51 1993 +0000
@@ -815,8 +815,8 @@
   ;;
 
   ## Tektronix XD88
-  m88k-tektronix-sysv3 )
-  machine=tekXD88 opsys=usg5-3
+  m88k-tektronix-sysv3* )
+  machine=tekxd88 opsys=usg5-3
   ;;
 
   ## Tektronix 16000 box (6130?)