Build mkgmap/splitter #116
Commit: 540 by gerd
Branch: memory_opt2
Time: 26 Dec 2016, 10:03 p.m.
Branch: memory_opt2
Time: 26 Dec 2016, 10:03 p.m.
Passed
Total time: 1 min 7 sec
Total time: 1 min 7 sec
-
java=jdk8, python=defaultPassed37 sec
-
java=openjdk8, python=defaultPassed30 sec