Gilles Peskine 62cf2e8e9f 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>
2021-07-08 17:35:19 +02:00
..
2021-07-08 17:35:19 +02:00
2020-12-10 21:30:01 +01:00
2021-06-28 09:28:33 +01:00
2021-06-08 16:45:41 +02:00