From c31a907ccd0e996e7651be3f082dbcf0ea3c4758 Mon Sep 17 00:00:00 2001
From: Adam Dunkels <adam@thingsquare.com>
Date: Mon, 29 Oct 2012 20:59:19 +0100
Subject: [PATCH] A small tool that shows the diff between the original file
 and the file produced by running it through contiki-indent

---
 tools/check-contiki-style | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100755 tools/check-contiki-style

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/$$