contiki/tools/check-contiki-style

#!/bin/sh
f=`basename $1`
mkdir /tmp/$$
cp $1 /tmp/$$/
cp $1 /tmp/$$/$f.orig
export INDENT_PROFILE=`dirname $0`/indent.pro
indent /tmp/$$/$f
diff /tmp/$$/$f.orig /tmp/$$/$f
rm -rf /tmp/$$
A small tool that shows the diff between the original file and the file produced by running it through contiki-indent 2012-10-29 20:59:19 +01:00			`#!/bin/sh`
Updated script per suggestion by @g-oikonomou to allow script to operate on files in subdirectories 2012-11-20 20:11:01 +01:00			f=`basename $1`
A small tool that shows the diff between the original file and the file produced by running it through contiki-indent 2012-10-29 20:59:19 +01:00			`mkdir /tmp/$$`
			`cp $1 /tmp/$$/`
Updated script per suggestion by @g-oikonomou to allow script to operate on files in subdirectories 2012-11-20 20:11:01 +01:00			`cp $1 /tmp/$$/$f.orig`
A small tool that shows the diff between the original file and the file produced by running it through contiki-indent 2012-10-29 20:59:19 +01:00			export INDENT_PROFILE=`dirname $0`/indent.pro
Updated script per suggestion by @g-oikonomou to allow script to operate on files in subdirectories 2012-11-20 20:11:01 +01:00			`indent /tmp/$$/$f`
			`diff /tmp/$$/$f.orig /tmp/$$/$f`
A small tool that shows the diff between the original file and the file produced by running it through contiki-indent 2012-10-29 20:59:19 +01:00			`rm -rf /tmp/$$`