diff options
| -rwxr-xr-x | config.sub | 2 |
1 files changed, 1 insertions, 1 deletions
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*) |