2219:dfb38ea7da17 | 2223:3dc12ef8735e |
---|---|
61 | 61 |
62 define_pd_global(intx, PreInflateSpin, 10); | 62 define_pd_global(intx, PreInflateSpin, 10); |
63 | 63 |
64 define_pd_global(bool, RewriteBytecodes, true); | 64 define_pd_global(bool, RewriteBytecodes, true); |
65 define_pd_global(bool, RewriteFrequentPairs, true); | 65 define_pd_global(bool, RewriteFrequentPairs, true); |
66 | |
67 define_pd_global(bool, UseMembar, false); |