mirror of
https://github.com/oliverschmidt/contiki.git
synced 2025-02-02 09:33:29 +00:00
A small tool that shows the diff between the original file and the file produced by running it through contiki-indent
This commit is contained in:
parent
5a1661dfbf
commit
c31a907ccd
8
tools/check-contiki-style
Executable file
8
tools/check-contiki-style
Executable file
@ -0,0 +1,8 @@
|
||||
#!/bin/sh
|
||||
mkdir /tmp/$$
|
||||
cp $1 /tmp/$$/
|
||||
cp $1 /tmp/$$/$1.orig
|
||||
export INDENT_PROFILE=`dirname $0`/indent.pro
|
||||
indent /tmp/$$/$1
|
||||
diff /tmp/$$/$1.orig /tmp/$$/$1
|
||||
rm -rf /tmp/$$
|
Loading…
x
Reference in New Issue
Block a user