aboutsummaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorSpencer Oliver <spen@spen-soft.co.uk>2011-11-03 23:33:37 +0000
committerSpencer Oliver <spen@spen-soft.co.uk>2011-11-04 09:56:22 +0000
commit45570860d02b06963f3a022b76ae247aeb9716e8 (patch)
tree78a18c16469d2ddce3935ac2e21f09a8945de3a8 /tools
parent482e8a2b5574f5360f9d0e1b2c52be7505290e96 (diff)
tools: add checkpatch script
execute from openocd root dir after commiting change but before pushing to gerrit. tools/checkpatch.sh This is the same script used by the jenkins build server to validate a change. Change-Id: Ib40d44b160e1c50a5e47ab55fc48a554381ea763 Signed-off-by: Spencer Oliver <spen@spen-soft.co.uk> Reviewed-on: http://openocd.zylin.com/167 Tested-by: jenkins
Diffstat (limited to 'tools')
-rw-r--r--tools/checkpatch.sh4
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/checkpatch.sh b/tools/checkpatch.sh
new file mode 100644
index 00000000..33b6dfc1
--- /dev/null
+++ b/tools/checkpatch.sh
@@ -0,0 +1,4 @@
+#!/bin/sh
+#
+
+git format-patch -M --stdout HEAD^ | tools/scripts/checkpatch.pl - --no-tree