diff --git a/tools/check-contiki-style b/tools/check-contiki-style new file mode 100755 index 000000000..c0ce2928a --- /dev/null +++ b/tools/check-contiki-style @@ -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/$$