diff options
| -rwxr-xr-x | backend/check | 17 | ||||
| -rwxr-xr-x | todo | 2 |
2 files changed, 0 insertions, 19 deletions
diff --git a/backend/check b/backend/check deleted file mode 100755 index f100e41..0000000 --- a/backend/check +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/sh -for file in *.cpp *.hpp *.h ; do - # non C-style headers - grep -Hn '#include\s*<[^.]\+>' "$file" | grep -v '<random>' - # forbidden STL containers - grep -Hn '\<unique_ptr\>' "$file" - grep -Hn '\<make_unique\>' "$file" - grep -Hn '\<shared_ptr\>' "$file" - grep -Hn '\<make_shared\>' "$file" - grep -Hn '\<vector\>' "$file" - grep -Hn '\<string\>[^.]' "$file" # [^.] is to ignore C's <string.h> - grep -Hn '\<pair\>' "$file" - grep -Hn '\<map\>' "$file" - grep -Hn '\<unordered_map\>' "$file" -done -exit 0 - @@ -1,2 +0,0 @@ -#!/bin/sh -git ls-files | xargs -d '\n' -- grep '\<TO''DO\>' -- |