> On Sep 5, 2018, at 5:07 AM, Magnus Ihse Bursie > <magnus.ihse.bur...@oracle.com> wrote: > We do set SHELL to bash for make, so it *should* be running command lines > using bash.
Verifying that was why I made this suggestion: In your build directory, in ./configure-support/config.log, search for the line starting with "SHELL=“. to make sure configure found bash and is arranging for SHELL to be set appropriately.
