On Apr 21, 2008, at 11:51 PM, Evan Cheng wrote: > Log: > Added command line option -no-lazy to disable JIT lazy compilation. Nifty, how about naming the option '-disable-lazy-compilation'? :) -Chris