This is firmly a bash script and not intended to be portable to other shells, so no point checking portability. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
Leaves parse tests and generated files unchanged, and provides a style filter for these. Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>