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

https://sourceware.org/bugzilla/show_bug.cgi?id=31562 --- Comment #3 from Mark Wielaard --- Note that the testcase would fail on systems where /bin/sh !== bash. Fixed with a followup patch: commit 3f956f8f8609f508ead2becc594c2338681cc6d0 Author: Mark Wielaard Date: Wed Mar 27 15:25:16 2024 +0

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

https://sourceware.org/bugzilla/show_bug.cgi?id=31562 Mark Wielaard changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

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

https://sourceware.org/bugzilla/show_bug.cgi?id=31562 --- Comment #1 from Mark Wielaard --- Proposed patch: https://inbox.sourceware.org/elfutils-devel/20240326204948.794765-1-m...@klomp.org/ -- You are receiving this mail because: You are on the CC list for the bug.

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

https://sourceware.org/bugzilla/show_bug.cgi?id=31562 Aaron Merey changed: What|Removed |Added CC||amerey at redhat dot com Assi