Build mkgmap/splitter #111
Commit: 535 by gerd
Branch: memory_opt2
Time: 26 Dec 2016, 8:55 p.m.
Branch: memory_opt2
Time: 26 Dec 2016, 8:55 p.m.
Passed
Total time: 53 sec
Total time: 53 sec
-
java=jdk8, python=defaultPassed24 sec
-
java=openjdk8, python=defaultPassed28 sec