Changeset 12931 in josm for trunk/build.xml

Timestamp:

2017-10-07T13:31:45+02:00 (7 years ago)

Author:

Don-vip

Message:

see #14602 - Override digit group separator to be consistent across languages with ISO 80000-1 + checkstyle fixes

File:

• trunk/build.xml (modified) (2 diffs)

trunk/build.xml

@@ -64 +64 @@
         <property name="revision.dir" value="bin"/>
         <antcall target="create-revision"/>
+        <mkdir dir="bin/META-INF/services"/>
+        <echo encoding="UTF-8" file="bin/META-INF/services/java.text.spi.DecimalFormatSymbolsProvider">org.openstreetmap.josm.tools.JosmDecimalFormatSymbolsProvider</echo>
     </target>
     <!--
@@ -151 +153 @@
                 <attribute name="Add-Opens" value="java.base/java.lang java.base/jdk.internal.loader java.desktop/javax.imageio.spi java.desktop/javax.swing.text.html java.prefs/java.util.prefs" />
             </manifest>
+            <service type="java.text.spi.DecimalFormatSymbolsProvider" provider="org.openstreetmap.josm.tools.JosmDecimalFormatSymbolsProvider" />
             <zipfileset dir="images" prefix="images"/>
             <zipfileset dir="data" prefix="data"/>