[Bug debuginfod/31562] profile.sh might fail with set -o pipefail

[mark at klomp dot org]

https://sourceware.org/bugzilla/show_bug.cgi?id=31562

--- Comment #1 from Mark Wielaard <mark at klomp dot org> ---
Proposed patch:
https://inbox.sourceware.org/elfutils-devel/20240326204948.794765-1-mark@klomp.org/

-- 
You are receiving this mail because:
You are on the CC list for the bug.