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 cd6e9042c0..e7f6f1af54 100755 --- a/scripts/check_bad_style.sh +++ b/scripts/check_bad_style.sh @@ -45,7 +45,7 @@ then exit -1 fi -grep -Hnir --exclude-dir=assembly "#.*defined[^(]" $DIRECTORIES | tee bad_style.log +grep -Hnir --exclude-dir=assembly "#.*if.*defined[^(]" $DIRECTORIES | tee bad_style.log if [[ $(cat bad_style.log | wc -l) > 0 ]] then echo "" |