aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar Nicolas Noble <nicolasnoble@users.noreply.github.com>2015-01-26 14:06:58 -0800
committerGravatar Nicolas Noble <nicolasnoble@users.noreply.github.com>2015-01-26 14:06:58 -0800
commit7bf3c45707bf81f6bbc553678f3496dd0bf43e26 (patch)
treed0f0cb952758ae8d678f359d9dea4c9e26cab878
parentd9076fa88f7187d76e444f0f5048658877826e86 (diff)
parent8089d966d5e40c5c5ed94632f5db4a9de3f948bc (diff)
Merge pull request #220 from ctiller/clang-fmt
Remove clang-format tools
-rwxr-xr-xtools/clang-format/clang-format-all.sh9
-rw-r--r--tools/clang-format/config.sh11
2 files changed, 0 insertions, 20 deletions
diff --git a/tools/clang-format/clang-format-all.sh b/tools/clang-format/clang-format-all.sh
deleted file mode 100755
index 62228b0b01..0000000000
--- a/tools/clang-format/clang-format-all.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-set -e
-source $(dirname $0)/config.sh
-cd $(dirname $0)/../..
-for dir in src test include
-do
- find $dir -name '*.c' -or -name '*.cc' -or -name '*.h' | xargs $CLANG_FORMAT -i
-done
-
diff --git a/tools/clang-format/config.sh b/tools/clang-format/config.sh
deleted file mode 100644
index 3adf2678e7..0000000000
--- a/tools/clang-format/config.sh
+++ /dev/null
@@ -1,11 +0,0 @@
-CLANG_FORMAT=clang-format-3.5
-
-set -ex
-
-if not hash $CLANG_FORMAT 2>/dev/null; then
- echo "$CLANG_FORMAT is needed but not installed"
- echo "perhaps try:"
- echo " sudo apt-get install $CLANG_FORMAT"
- exit 1
-fi
-