diff options
Diffstat (limited to 'scripts/check_google_style.sh')
-rwxr-xr-x | scripts/check_google_style.sh | 33 |
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 |