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