Baaah, sorry. Looks like I misunderstood you. You meant src/codegen, of course, not build/codegen. Sorry for the noise.
On 21.12.2006 21:16:51 Jeremias Maerki wrote: > Me, too. In that case, I'd prefer not to place the generated sources > under the build directory since this is, for me, strictly a temporary, > build-related directory. <snip/> Jeremias Maerki
