1
0
mirror of https://github.com/oliverschmidt/contiki.git synced 2025-01-11 03:29:51 +00:00
contiki/tools/check-contiki-style

10 lines
188 B
Bash
Executable File

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