[PUSHED] use $PIPESTATUS instead of pipefail option

[Matúš Kukan (via_Code_Review)]

Hi,

Thank you for your patch! :-)  It has been merged to LibreOffice.

If you are interested in details, please visit

    https://gerrit.libreoffice.org/1190

Approvals:
  Matúš Kukan: Verified; Looks good to me, approved


--
To view, visit https://gerrit.libreoffice.org/1190
To unsubscribe, visit https://gerrit.libreoffice.org/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Iaeaed7d759be700719fb941b13942e4933c5ee71
Gerrit-PatchSet: 1
Gerrit-Project: core
Gerrit-Branch: master
Gerrit-Owner: Christian Lohmaier <lohmaier+LibreOffice at googlemail.com>
Gerrit-Reviewer: Matúš Kukan <matus.kukan at gmail.com>