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 acc496b00a..26524d7ec9 100755 --- a/scripts/check_bad_style.sh +++ b/scripts/check_bad_style.sh @@ -37,7 +37,7 @@ then exit -1 fi -grep -HnR --exclude-dir=assembly --exclude-dir=convolution --exclude-dir=arm_gemm "float32_t" $FILES | tee bad_style.log +grep -HnR --exclude-dir=assembly --exclude-dir=convolution --exclude-dir=arm_gemm "/^float32_t/" $FILES | tee bad_style.log if [[ $(cat bad_style.log | wc -l) > 0 ]] then echo "" |