Using different .gwt.xml in super-dev-mode

Hi list! In a big project I need to use a different <module_name>.gwt.xml file because I'd like to disable some "memory consuming options" I have in that file, like:

<set-property name="compiler.stackMode" value="emulated"/>

My project is currently splitted in three different subproject (client, server and shared), and the client subproject uses two main configuration profiles: dev (the active by default) and production that is enabled only when we build the final war file.

My first idea is to have two different <client>/src/main/resources for dev and production, but I will prefer to know if there are any other possible solution for my config!

Thanks to all!

--
Luca Morettoni <luca(AT)morettoni.net> | http://www.morettoni.net
http://it.linkedin.com/in/morettoni/ | http://twitter.com/morettoni

--
You received this message because you are subscribed to the Google Groups "GWT Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to google-web-toolkit+unsubscribe@googlegroups.com.
To post to this group, send email to google-web-toolkit@googlegroups.com.
Visit this group at https://groups.google.com/group/google-web-toolkit.
For more options, visit https://groups.google.com/d/optout.