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 [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/google-web-toolkit.
For more options, visit https://groups.google.com/d/optout.
