diff options
Diffstat (limited to 'scripts/check_bad_style.sh')
| -rwxr-xr-x | scripts/check_bad_style.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/check_bad_style.sh b/scripts/check_bad_style.sh index 29d14bdb4a..6a88b67cdc 100755 --- a/scripts/check_bad_style.sh +++ b/scripts/check_bad_style.sh @@ -2,7 +2,7 @@ set -e -DIRECTORIES="./arm_compute ./src ./examples ./tests ./utils" +DIRECTORIES="./arm_compute ./src ./examples ./tests ./utils ./framework ./support" grep -HrnP "/\*\*$" $DIRECTORIES | tee bad_style.log if (( `cat bad_style.log | wc -l` > 0 )) |