12:16:24 Started by user Thorsten Vitt
12:16:24 Building remotely on build1 in workspace /var/jenkins/workspace/TextGrid-Baseline-Encoding
12:16:25 Checking out a fresh workspace because there's no workspace at /var/jenkins/workspace/TextGrid-Baseline-Encoding
12:16:25 Cleaning local Directory .
12:16:26 Checking out https://develop.sub.uni-goettingen.de/repos/textgrid/trunk/textformate/kerncodierung/gesamtschema at revision '2013-05-27T12:16:24.658 +0200'
12:16:34 AU baseline.xsd
12:16:34 AU baseline_roma.xml
12:16:34 A inline.rnc
12:16:35 A structure.rnc
12:16:35 A tests
12:16:35 A tests/valid
12:16:35 AU tests/valid/schemas.xml
12:16:35 AU tests/valid/spans.xml
12:16:35 AU tests/valid/struct.xml
12:16:35 AU tests/valid/brief_kern.xml
12:16:35 AU tests/valid/gie_baseline.xml
12:16:36 A tests/invalid
12:16:36 AU tests/invalid/cam_baseline.xml
12:16:36 AU tests/invalid/spans.xml
12:16:36 AU tests/invalid/struct1.xml
12:16:36 AU tests/invalid/brief_kern.xml
12:16:36 AU tests/invalid/struct2.xml
12:16:36 AU baseline.rnc
12:16:36 AU tei_odds.xml
12:16:37 AU tei_odds.rnc
12:16:37 AU generate-package.sh
12:16:37 AU README
12:16:37 AU xml.xsd
12:16:37 At revision 14076
12:16:37 no change for https://develop.sub.uni-goettingen.de/repos/textgrid/trunk/textformate/kerncodierung/gesamtschema since the previous build
12:16:37 [TextGrid-Baseline-Encoding] $ /bin/sh -xe /tmp/hudson3889484680231692421.sh
12:16:37 + roma2 --docpdf --dochtml --docflags=subTocDepth=3 pageLayout=css baseline_roma.xml TextGrid-Baseline
12:16:37 ========= Roma starts at 2013-05-27 12:16:51 ===========
12:16:38 TEI stylesheet tree: /usr/share/xml/tei/stylesheet
12:16:55 Results to: TextGrid-Baseline
12:16:55 Process baseline_roma.xml to create textgrid_baseline_encoding{.dtd|.xsd|.doc.xml|.rng|.rnc} in TextGrid-Baseline
12:16:55 ========= Roma version 4.13 starts execution at 2013-05-27 12:17:09.327944588 ===========
12:16:55 1. expand and simplify ODD
12:17:02 2. make RELAX NG from compiled ODD
12:17:07 3. make RELAX NG compact from XML
12:17:09 4. make XSD from RELAX NG
12:17:10 5. make DTD from compiled ODD
12:17:15 6. make expanded documented ODD textgrid_baseline_encoding.doc.xml
12:17:22 7. make PDF documentation textgrid_baseline_encoding.doc.pdf and textgrid_baseline_encoding.doc.tex
12:17:32 This is XeTeX, Version 3.1415926-2.4-0.9998 (TeX Live 2012/Debian)
12:17:32 restricted \write18 enabled.
12:17:33 entering extended mode
12:17:41
12:17:41 ** WARNING ** Failed to convert input string to UTF16...
12:18:33 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:33 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:33 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:33 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:33 kpathsea: Invalid fontname `HAN NOM A/B', contains ' '
12:18:33 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:33 kpathsea: Invalid fontname `HAN NOM A/I', contains ' '
12:18:33 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:33 kpathsea: Invalid fontname `HAN NOM A/BI', contains ' '
12:18:33 kpathsea: Invalid fontname `HAN NOM A:', contains ' '
12:18:33 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:33 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:36 ** WARNING ** Invalid CMap mapping entry. (ignored)
12:18:37 This is XeTeX, Version 3.1415926-2.4-0.9998 (TeX Live 2012/Debian)
12:18:37 restricted \write18 enabled.
12:18:37 entering extended mode
12:18:38
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:38 ** WARNING ** Failed to convert input string to UTF16...
12:18:42 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:42 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:42 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:42 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:42 kpathsea: Invalid fontname `HAN NOM A/B', contains ' '
12:18:42 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:42 kpathsea: Invalid fontname `HAN NOM A/I', contains ' '
12:18:42 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:42 kpathsea: Invalid fontname `HAN NOM A/BI', contains ' '
12:18:42 kpathsea: Invalid fontname `HAN NOM A:', contains ' '
12:18:42 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:42 kpathsea: Invalid fontname `HAN NOM A', contains ' '
12:18:45 ** WARNING ** Invalid CMap mapping entry. (ignored)
12:18:46 10. make HTML documentation textgrid_baseline_encoding.doc.html
12:18:55 ========= 2013-05-27 12:19:09.789630883 Roma ends
12:18:56 Archiving artifacts
12:18:58 Finished: SUCCESS
![[Jenkins]](/ci/static/d70d5ff4/images/svgs/logo.svg){kind=logo}
