annotate dropbear_lint.sh @ 1806:69c514f7f38b

fuzz: try run cifuzz on push as well
author Matt Johnston <matt@ucc.asn.au>
date Sat, 06 Mar 2021 23:42:59 +0800
parents 90fffce0ee99
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1679
90fffce0ee99 Add linter for #ifdef
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
1 #!/bin/sh
90fffce0ee99 Add linter for #ifdef
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
2
90fffce0ee99 Add linter for #ifdef
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
3 EXITCODE=0
90fffce0ee99 Add linter for #ifdef
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
4
90fffce0ee99 Add linter for #ifdef
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
5 # #ifdef instead of #if
90fffce0ee99 Add linter for #ifdef
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
6 grep '#ifdef DROPBEAR' -I *.c *.h && EXITCODE=1
90fffce0ee99 Add linter for #ifdef
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
7
90fffce0ee99 Add linter for #ifdef
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
8 exit $EXITCODE