diogo...@gmail.com (Diogo F. S. Ramos) writes: > David Bremner <brem...@debian.org> writes: > >>> STRIPPED >>> size: 4408K >>> startup time (`$ racket -e 42'): 500ms >>> UNSTRIPPED >>> size: 10254K >>> startup time (`$ racket -e 42'): 298ms >>> >> It would be interesting to start both from a cold cache, e.g. by >> running >> >> echo 3 | sudo tee /proc/sys/vm/drop_caches >> >> beforehand > > Here are the new results, both from cold cache for the first trial, for > 10 trials: > > STRIPPED > startup time (`$ racket -e 42'): 633ms > UNSTRIPPED > startup time (`$ racket -e 42'): 385ms
I'm running the newly uploaded racket 7.5 and it seems profiling is working fine with the default (stripped) build. To be honest I'm not sure when profiling started working, bug I guess we can close the bug now? d
