Le 23/04/2016 07:43, Andreas Tille a écrit : > Any further hints?
The properties set in debian/maven.properties do not show up in the log.
You'll just know the file is being used because the
properties.file.manual parameter is added to the command line:
-Dproperties.file.manual=<PATH>/debian/maven.properties
Emmanuel Bourg
