diff options
author | Doug Evans <dje@gnu.org> | 1995-02-18 17:18:21 +0000 |
---|---|---|
committer | Doug Evans <dje@gnu.org> | 1995-02-18 17:18:21 +0000 |
commit | a06b1633830ce61f81e52180518f63a1b2ea15a6 (patch) | |
tree | e0b85a45ec73a87176b4bd823e9e543be72fc32f /config.sub | |
parent | 0ad46177053e2c91b967d7193eeaf43e82f279ea (diff) |
Recognize lynx* as lynxos.
Diffstat (limited to 'config.sub')
-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*) |