DEFAULT-LIBFILE-TYPE : FLAG

DEFAULT-LIBFILE-TYPE is a flag or parameter.
The default value for the extension of library files.
DEFAULT-LIBFILE-TYPE takes values of type STRING.
It belongs to subjects LIBRARY .
Its default value is "lib"
Its current value is "lib".

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage