From 8089d966d5e40c5c5ed94632f5db4a9de3f948bc Mon Sep 17 00:00:00 2001
From: Craig Tiller <craig.tiller@gmail.com>
Date: Mon, 26 Jan 2015 13:58:51 -0800
Subject: [PATCH] Remove clang-format tools

Use of these tools is dangerous until such time as we can figure out a standardized clang-format version to use everywhere.
---
 tools/clang-format/clang-format-all.sh |  9 ---------
 tools/clang-format/config.sh           | 11 -----------
 2 files changed, 20 deletions(-)
 delete mode 100755 tools/clang-format/clang-format-all.sh
 delete mode 100644 tools/clang-format/config.sh

diff --git a/tools/clang-format/clang-format-all.sh b/tools/clang-format/clang-format-all.sh
deleted file mode 100755
index 62228b0b015..00000000000
--- 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 3adf2678e7a..00000000000
--- 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
-