summaryrefslogtreecommitdiffhomepage
path: root/dropbear_lint.sh
diff options
context:
space:
mode:
authorMatt Johnston <matt@ucc.asn.au>2020-10-15 19:55:15 +0800
committerMatt Johnston <matt@ucc.asn.au>2020-10-15 19:55:15 +0800
commit0e3e8db5bfca0c579be55e7580a46c593c1384be (patch)
tree2b1a718f633fb95c1f2d689a591cf9e8642697f3 /dropbear_lint.sh
parent78e17f6ee9a944430da3e517ee1fe384fd6b275b (diff)
parent17873e8c922eded2cec86184673a6d110df6403f (diff)
merge from main
--HG-- branch : fuzz
Diffstat (limited to 'dropbear_lint.sh')
-rwxr-xr-xdropbear_lint.sh8
1 files changed, 8 insertions, 0 deletions
diff --git a/dropbear_lint.sh b/dropbear_lint.sh
new file mode 100755
index 0000000..25a4b7d
--- /dev/null
+++ b/dropbear_lint.sh
@@ -0,0 +1,8 @@
+#!/bin/sh
+
+EXITCODE=0
+
+# #ifdef instead of #if
+grep '#ifdef DROPBEAR' -I *.c *.h && EXITCODE=1
+
+exit $EXITCODE