Thanks Thomas, I'm using GWT 2.8.2 so I tried your first suggestion and it
works :-)
I just declared the property in my gwt.xml module file:
<define-configuration-property name="build.number" is_multi_valued="false"/>
and set its value (with the maven property which is set by Jenkins) when
calling your plugin in the configuation section:
<configuration>
<compilerArgs>
<compilerArg>-setProperty</compilerArg>
<compilerArg>build.number=${build.number}</compilerArg>
</compilerArgs>
</configuration>
Then System.getProperty("build.number") returns the expected value :-)
Thank you
On Monday, 12 March 2018 23:27:17 UTC+1, Thomas Broyer wrote:
>
> Easiest with recent GWT version would be to declare a
> <configuration-property>, get it using System.getProperty(), and set it
> with --property.
>
> With older versions, use Maven filtering on a properties file you use with
> a com.google.gwt.i18n.client.Constants; or have a look at Mojo's Java
> template plugin.
>
--
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+unsubscr...@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.
