diff options
| author | Spencer Oliver <spen@spen-soft.co.uk> | 2011-11-03 23:33:37 +0000 |
|---|---|---|
| committer | Spencer Oliver <spen@spen-soft.co.uk> | 2011-11-04 09:56:22 +0000 |
| commit | 45570860d02b06963f3a022b76ae247aeb9716e8 (patch) | |
| tree | 78a18c16469d2ddce3935ac2e21f09a8945de3a8 /tools | |
| parent | 482e8a2b5574f5360f9d0e1b2c52be7505290e96 (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.sh | 4 |
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 |