diff --git a/config.sub b/config.sub index 667d3d23be..e72fa4d344 100755 --- a/config.sub +++ b/config.sub @@ -113,7 +113,7 @@ case $os in -isc*) basic_machine=`echo $1 | sed -e 's/86-.*/86-unknown/'` ;; - -lynx) + -lynx*) os=-lynxos ;; -ptx*)