gmake[2]: Entering directory '/jenkins/jobs/oi-userland/workspace/components/docbook/docbook-dtds'
gmake[2]: warning: jobserver unavailable: using -j1.  Add '+' to parent make rule.
/jenkins/jobs/oi-userland/workspace/make-rules/prep-patch.mk:106: warning: overriding recipe for target '/jenkins/jobs/oi-userland/workspace/components/docbook/docbook-dtds/4.2-sgml/.patched'
/jenkins/jobs/oi-userland/workspace/make-rules/prep-patch.mk:106: warning: ignoring old recipe for target '/jenkins/jobs/oi-userland/workspace/components/docbook/docbook-dtds/4.2-sgml/.patched'
gmake[2]: Nothing to be done for 'publish'.
gmake[2]: Leaving directory '/jenkins/jobs/oi-userland/workspace/components/docbook/docbook-dtds'