tree d53e447827a762b3a68d48b6b28f0f78f4d729ba
parent 07704c09ceb65b46ace380ef9be41f178e769f10
author Gilles Peskine <Gilles.Peskine@arm.com> 1585323323 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1625758519 +0200

Switch all.sh to bash

This will let us use bash features that are not found in some other sh
implementations, such as DEBUG and ERR traps, "set -o pipefail", etc.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>