Build mkgmap/splitter #12
Commit: 438 by gerd
Branch: trunk
Time: 5 Aug 2016, 8:44 a.m.
Branch: trunk
Time: 5 Aug 2016, 8:44 a.m.
Passed
Total time: 2 min 4 sec
Total time: 2 min 4 sec
-
java=jdk8, python=defaultPassed1 min 14 sec
-
java=openjdk8, python=defaultPassed50 sec