diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-06-18 16:09:29 +0200 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-06-18 16:09:29 +0200 |
commit | 30e2090066fae2734828c78fdd070a2559da135f (patch) | |
tree | d3178531e6f1c2fd1bd156f24ef14f49db5a8102 /scripts/check_google_style.sh | |
parent | 64d101a24ddcecd84771cfa4dd536ee46f226bf8 (diff) |
scripts cleanup
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 |