On 04.02.2010 19:06, ed at camswl.com wrote: > Hi folks, > > The following patch will make the Thumb2 JIT the default build. > > OK to commit? how does this work with shark, or should this only be enabled when not building shark? See https://bugs.launchpad.net/bugs/513735 Matthias