1 files changed, 0 insertions, 33 deletions
diff --git a/scripts/check_google_style.sh b/scripts/check_google_style.sh
deleted file mode 100755
index 9ed5cad0..00000000
--- a/scripts/check_google_style.sh
+++ /dev/null
@@ -1,33 +0,0 @@
-#!/bin/bash
-#usage bash check_google_style.sh
-
-# VERSION CHECK
-ROOT_DIR=..
-FILE_TO_CHECK="$1"
-PYTHON_SCRIPT="$2"
-LOG_FILE=$FILE_TO_CHECK.cpplint
-
-if [ -f $LOG_FILE ]; then
-    rm -f $LOG_FILE
-fi
-
-if [ ! -f $FILE_TO_CHECK ]; then
-    echo "File not found! : $FILE_TO_CHECK" | tee -a $LOG_FILE
-    exit 1
-fi
-
-# CPPLINT FILE
-echo "File: $FILE_TO_CHECK" 2>&1 | tee -a $LOG_FILE
-python $PYTHON_SCRIPT --linelength=120 $FILE_TO_CHECK 2>&1 | tee -a $LOG_FILE
-
-LINE_ERRORS=`grep "Total errors found:" $LOG_FILE`
-NB_ERRORS=${LINE_ERRORS:20}
-
-if [ "$NB_ERRORS" -gt 20 ]
-then
-  echo "## Too many errors ($NB_ERRORS) in $FILE_TO_CHECK" 2>&1 | tee -a $LOG_FILE
-  exit 1
-fi
-
-echo "Acceptable number of errors ($NB_ERRORS) in $FILE_TO_CHECK" 2>&1 | tee -a $LOG_FILE
-exit 0