Catch more Linux platforms in the config.
Authored by: adustman 2001-09-29
Parent: [r185]
Child: [r187]