# JMemoryManager variables

# Unsets them all at once.  Type 'source unsetallenv' rather than executing
# so it unsets them in your shell, not a subshell.

setenv JMM_TABLE_TYPE              default
setenv JMM_INITIALIZE              no
setenv JMM_SHRED                   no
setenv JMM_RECORD_ALLOCATED        no
setenv JMM_RECORD_DEALLOCATED      no
setenv JMM_CHECK_DOUBLE_ALLOCATION no
setenv JMM_BROADCAST_ERRORS        no
setenv JMM_PRINT_EXIT_STATS        no
setenv JMM_PRINT_INTERNAL_STATS    no
setenv JMM_DISALLOW_DELETE_NULL    no
setenv JMM_ABORT_UNKNOWN_ALLOC     no
setenv JMM_NO_PRINT_ERRORS         no
