From 5fc17c4f040a8c80d4d486a24178b4f6c7a07e24 Mon Sep 17 00:00:00 2001
From: adamdunkels <adamdunkels>
Date: Mon, 18 Jan 2010 13:28:28 +0000
Subject: [PATCH] Small script for invoking indent for converting a C file into
 the Contiki code style

---
 tools/contiki-indent | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100755 tools/contiki-indent

diff --git a/tools/contiki-indent b/tools/contiki-indent
new file mode 100755
index 000000000..3a26bfa2f
--- /dev/null
+++ b/tools/contiki-indent
@@ -0,0 +1,3 @@
+#!/bin/sh
+export INDENT_PROFILE=`dirname $0`/indent.pro
+indent $1