# HG changeset patch
# User Doug Evans <dje@gnu.org>
# Date 793127901 0
# Node ID e47bb69af8032366b9522608bbd47793702dc0bb
# Parent  defbf55d87e20a8bf25ca0df3a97459e0efa6420
Recognize lynx* as lynxos.

diff -r defbf55d87e2 -r e47bb69af803 config.sub
--- a/config.sub	Sat Feb 18 09:07:07 1995 +0000
+++ b/config.sub	Sat Feb 18 17:18:21 1995 +0000
@@ -113,7 +113,7 @@
 	-isc*)
 		basic_machine=`echo $1 | sed -e 's/86-.*/86-unknown/'`
 		;;
-	-lynx)
+	-lynx*)
 		os=-lynxos
 		;;
 	-ptx*)