From b2082c124aed3f6e90b4925e98dfadf877b1636e Mon Sep 17 00:00:00 2001
From: Daniel Agar <daniel@agar.ca>
Date: Sun, 22 Feb 2015 17:50:55 -0500
Subject: git pre-commit hook don't echo files changed

---
 Tools/pre-commit | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'Tools')

diff --git a/Tools/pre-commit b/Tools/pre-commit
index db5863d3e..13cd4aadd 100755
--- a/Tools/pre-commit
+++ b/Tools/pre-commit
@@ -1,6 +1,4 @@
 #!/bin/sh
-echo "hello world"
-
 if git rev-parse --verify HEAD >/dev/null 2>&1
 then
   against=HEAD
@@ -15,7 +13,6 @@ exec 1>&2
 CHANGED_FILES=`git diff --cached --name-only --diff-filter=ACM $against | grep '\.c\|\.cpp\|\.h\|\.hpp'`
 FAILED=0
 if [ ! -z "$CHANGED_FILES" -a "$CHANGED_FILES" != " " ]; then
-  echo $CHANGED_FILES
   for FILE in $CHANGED_FILES; do
     ./Tools/fix_code_style.sh --quiet < $FILE > $FILE.pretty
     diff -u $FILE $FILE.pretty || FAILED=1
-- 
cgit v1.2.3