dev: Rename tools directory to scripts (#5035)

2023-12-17 13:37:30 +01:00
parent aa11a24163
commit 5dd8c1c88a
10 changed files with 5 additions and 1 deletions
@@ -0,0 +1,21 @@
+#!/bin/bash
+
+set -eu
+
+fail="0"
+
+clang-format --version
+
+while read -r file; do
+    if ! diff -u <(cat "$file") <(clang-format "$file"); then
+        echo "$file differs!!!!!!!"
+        fail="1"
+    fi
+done < <(find src/ -type f \( -iname "*.hpp" -o -iname "*.cpp" \))
+
+if [ "$fail" = "1" ]; then
+    echo "At least one file is poorly formatted - check the output above"
+    exit 1
+fi
+
+echo "Everything seems to be formatted properly! Good job"