logo separator

Build mkgmap/mkgmap #1225

Commit: 4843 by gerd
Branch: mdr2
Time: 3 Jan 2022, 10:37 a.m.
Passed
Total time: 3 min 17 sec

- add undocumented option --x-no-mdr15-compression - fix(?) case where tab2 is not filled completely (typically happens only with small input files where few different characters appear so that the Huffman tree is small

  • #1225.1
    java=jdk8, python=default
    Passed
    1 min 31 sec
  • #1225.2
    java=openjdk8, python=default
    Passed
    51 sec
  • #1225.3
    java=openjdk11, python=default
    Passed
    54 sec

Latest commits

  • splitter-r654 - add note that splitter doesn't handle holes in *.poly files.
    05 apr 2024
  • mkgmap-r4919 Avoid possible integer overflow in blocksize calculation when gmapsupp contains large number of tiles.
    04 apr 2024
  • mkgmap-r4918 add surface=chipseal to group of surfaces which means paved.
    06 mar 2024
  • mkgmap-r4917 fix typos in documentation: $LONG_DATE$ -> $LONGDATE$, $SHORT_DATE$ -> $SHORTDATE$.
    18 feb 2024
  • mkgmap-r4916 sortResource_v3.patch (with updated date in comment) by Ticker Berkin.
    13 oct 2023
See more...