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 827163f02c..cd6e9042c0 100755 --- a/scripts/check_bad_style.sh +++ b/scripts/check_bad_style.sh @@ -21,7 +21,7 @@ then exit -1 fi -grep -HnRE --exclude-dir=assembly "\buint " --exclude-dir=cl_kernels $DIRECTORIES | tee bad_style.log +grep -HnRE --exclude-dir=assembly "\buint " --exclude-dir=cl_kernels --exclude-dir=cs_shaders $DIRECTORIES | tee bad_style.log if [[ $(cat bad_style.log | wc -l) > 0 ]] then echo "" |