From b848109e8c70ee00b433ff8f5fde3657c85e7487 Mon Sep 17 00:00:00 2001
From: Loek Le Blansch <loek@pipeframe.xyz>
Date: Tue, 29 Oct 2024 23:34:10 +0100
Subject: check

---
 backend/check | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'backend/check')

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"
-- 
cgit v1.2.3