failed gerrit builds

[Christian Lohmaier]

Terrence Enger <tenger at iseries-guru.com> schrieb am Fr., 21. Sep. 2018,
13:16:

>
>
>         Aborted by user anonymous
>

Not related to your changes. The build was aborted manually, likely because
of the other issues listed further down (also not related to your changes)

>
>         [build CHK] registry
>         /usr/bin/cp: cannot remove
> 'C:/cygwin/home/tdf/lode/jenkins/workspace/gerrit_windows/instdir/program/types.rdb':
> Device or resource busy
>

Device or resource busy is an issue with the build machine, issue on the
OS/filesystem level and not related to your changes.
Likely a previous build didn't finish properly and left junk (leftover
processes) behind.

Ciao
Christian

>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.freedesktop.org/archives/libreoffice/attachments/20180921/2033f4aa/attachment.html>