diff options
Diffstat (limited to 'trunk/scripts/check_google_style.sh')
-rwxr-xr-x | trunk/scripts/check_google_style.sh | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/trunk/scripts/check_google_style.sh b/trunk/scripts/check_google_style.sh new file mode 100755 index 00000000..9ed5cad0 --- /dev/null +++ b/trunk/scripts/check_google_style.sh @@ -0,0 +1,33 @@ +#!/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 |