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'