DEFAULT-BUG-DIR : FLAG

DEFAULT-BUG-DIR is a flag or parameter.
If USE-DEFAULT-BUG-DIR is T, this is the default value
for the directory where bugs generated by BUG-SAVE will be stored,
and the first directory that will be searched by BUG-RESTORE.
If USE-DEFAULT-BUG-DIR is NIL, this flag is ignored, and bugs
will be saved like normal library objects, in the directories
listed in DEFAULT-LIB-DIR.
DEFAULT-BUG-DIR takes values of type DIRSPEC.
It belongs to subjects LIBRARY .
Its default value is ""
Its current value is "/afs/andrew.cmu.edu/mcs/math/TPS/admin/bugsdir/".

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage