[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 #3 from Mark Wielaard <mark at klomp dot org> ---
Note that the testcase would fail on systems where /bin/sh !== bash. Fixed with
a followup patch:

commit 3f956f8f8609f508ead2becc594c2338681cc6d0
Author: Mark Wielaard <mark@klomp.org>
Date:   Wed Mar 27 15:25:16 2024 +0100

    tests: Use bash for run-debuginfod-client-profile.sh

    The test uses set -o pipefail which is a bashism and so the test fails
    on systems where /bin/sh isn't bash.

        * tests/run-debuginfod-client-profile.sh: Use bash.

    Signed-off-by: Mark Wielaard <mark@klomp.org>

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