Commit Graph

2 Commits

Author SHA1 Message Date
Gerwin Klein fc30187eaa stylefilter: do not check make_spec.sh
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>
2022-04-20 09:16:19 +10:00
Gerwin Klein 092b1207f7 run astyle on all C files in the repository
Leaves parse tests and generated files unchanged, and provides a style
filter for these.

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
2020-04-19 13:50:17 +08:00