Hello
Is there some way do pass a java property to gwt.xml as a parameter?
We need this for specifying for which browsers should be the GWT
compilation done. For example, if this would be possible:
java -cp gwt-dev-linux.jar -DuserAgent=gecko
com.google.gwt.dev.Compiler ...
<set-property name="user.agent" value="${userAgent}"/>
or even
<when-is-defined name="${userAgent}">
<set-property name="user.agent" value="${userAgent}"/>
</when-is-defined>
Any idea?
Thanks in advance.
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"Google Web Toolkit" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/Google-Web-Toolkit?hl=en
-~----------~----~----~----~------~----~------~--~---
