Build mkgmap/splitter #15
Commit: 441 by gerd
Branch: trunk
Time: 17 Nov 2016, 7:05 a.m.
Branch: trunk
Time: 17 Nov 2016, 7:05 a.m.
Passed
Total time: 1 min 35 sec
Total time: 1 min 35 sec
-
java=jdk8, python=defaultPassed57 sec
-
java=openjdk8, python=defaultPassed37 sec