tree df92f4898e0e2e46bf79e4e462ee4f7809dca1ea
parent 54ada8bae8ade96010d1005964d782bdb0e3084f
author Dave Rodgman <dave.rodgman@arm.com> 1696419023 +0100
committer Dave Rodgman <dave.rodgman@arm.com> 1696419023 +0100

Tidy up bash syntax

Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>