equal
deleted
inserted
replaced
777 "dictionary") \ |
777 "dictionary") \ |
778 \ |
778 \ |
779 product(bool, ClassUnloading, true, \ |
779 product(bool, ClassUnloading, true, \ |
780 "Do unloading of classes") \ |
780 "Do unloading of classes") \ |
781 \ |
781 \ |
|
782 diagnostic(bool, LinkWellKnownClasses, true, \ |
|
783 "Resolve a well known class as soon as its name is seen") \ |
|
784 \ |
782 develop(bool, DisableStartThread, false, \ |
785 develop(bool, DisableStartThread, false, \ |
783 "Disable starting of additional Java threads " \ |
786 "Disable starting of additional Java threads " \ |
784 "(for debugging only)") \ |
787 "(for debugging only)") \ |
785 \ |
788 \ |
786 develop(bool, MemProfiling, false, \ |
789 develop(bool, MemProfiling, false, \ |