Build mkgmap/splitter #105
Commit: 529 by gerd
Branch: trunk
Time: 26 Dec 2016, 8:15 a.m.
Branch: trunk
Time: 26 Dec 2016, 8:15 a.m.
Passed
Total time: 1 min 13 sec
Total time: 1 min 13 sec
-
java=jdk8, python=defaultPassed38 sec
-
java=openjdk8, python=defaultPassed34 sec