1374
1380
| -os2* | -vos* | -palmos* | -uclinux* | -nucleus* \
1375
1381
| -morphos* | -superux* | -rtmk* | -rtmk-nova* | -windiss* \
1376
1382
| -powermax* | -dnix* | -nx6 | -nx7 | -sei* | -dragonfly* \
1378
1384
# Remember, each alternative MUST END IN *, to match a version number.