From fbe0bd96d82f1fdc4721669b82773e7303c5f418 Mon Sep 17 00:00:00 2001 From: Loek Le Blansch Date: Sun, 3 Nov 2024 17:17:56 +0100 Subject: remove garbage --- backend/check | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100755 backend/check (limited to 'backend/check') 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 '' - # forbidden STL containers - grep -Hn '\' "$file" - grep -Hn '\' "$file" - grep -Hn '\' "$file" - grep -Hn '\' "$file" - grep -Hn '\' "$file" - grep -Hn '\[^.]' "$file" # [^.] is to ignore C's - grep -Hn '\' "$file" - grep -Hn '\' "$file" - grep -Hn '\' "$file" -done -exit 0 - -- cgit v1.2.3