MACHINE-TYPE : FLAG

MACHINE-TYPE is a flag or parameter.
Tells what hardware that we are running on. Initialized
when TPS starts up. Can't be changed.
MACHINE-TYPE takes values of type STRING.
It belongs to subjects SYSTEM .
Its default value is ""
Its current value is "Linux/X86".

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage