[Bug testsuite/88491] New: new test case allocfail.sh in r267054 fails if dash is the default shell (/bin/sh)

[seurer at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88491

            Bug ID: 88491
           Summary: new test case allocfail.sh in r267054 fails if dash is
                    the default shell (/bin/sh)
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: testsuite
          Assignee: unassigned at gcc dot gnu.org
          Reporter: seurer at gcc dot gnu.org
  Target Milestone: ---

FAIL: allocfail.sh
==================

/home/seurer/gcc/gcc-trunk/libbacktrace/allocfail.sh: 35: set: Illegal option
-o pipefail
FAIL allocfail.sh (exit status: 2)

This fails on all our newer systems running Ubuntu 18.04 which link /bin/sh to
dash.  The failing line is:

set -o pipefail

If I try that under dash on other systems it fails there, too.