Remove GNU indent tools

2014-03-08 23:24:37 +00:00 · 2014-03-08 23:24:37 +00:00 · cbdd7f2f09
parent 24c503c726
commit cbdd7f2f09
3 changed files with 0 additions and 34 deletions
--- a/tools/code-style/check-contiki-style
+++ b/tools/code-style/check-contiki-style
@ -1,9 +0,0 @@
-#!/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/$$
--- a/tools/code-style/contiki-indent
+++ b/tools/code-style/contiki-indent
@ -1,3 +0,0 @@
-#!/bin/sh
-export INDENT_PROFILE=`dirname $0`/indent.pro
-indent $*
--- a/tools/code-style/indent.pro
+++ b/tools/code-style/indent.pro
@ -1,22 +0,0 @@
-bad
-br
-brs
-cdw
-ce
-hnl
-i2
-lp
-nbap
-nbbb
-ncdb
-ncs
-nfca
-nlps
-npcs
-nprs
-nsaf
-nsai
-nsaw
-nsc
-nut
-psl