diff options
Diffstat (limited to 'backend/check')
| -rwxr-xr-x | backend/check | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/check b/backend/check index 445dbbe..b283acf 100755 --- a/backend/check +++ b/backend/check @@ -1,7 +1,7 @@ #!/bin/sh for file in *.cpp *.hpp *.h ; do # non C-style headers - grep -Hn '#include\s*<[^.]\+>' "$file" + grep -Hn '#include\s*<[^.]\+>' "$file" | grep -v '<random>' # forbidden STL containers grep -Hn '\<make_unique\>' "$file" grep -Hn '\<vector\>' "$file" |