From bb303088aa2ed0693e19e93158155dd85783ce76 Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Sat, 29 Nov 2025 17:35:23 -0500 Subject: chore: pack scripts into a directory. Signed-off-by: Amlal El Mahrouss --- format.sh | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100755 format.sh (limited to 'format.sh') diff --git a/format.sh b/format.sh deleted file mode 100755 index f36943cd..00000000 --- a/format.sh +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/sh - -THIS_PATH="$(realpath "$0")" -THIS_DIR="$(dirname "$THIS_PATH")" - -FILE_LIST="$(find "$THIS_DIR" | grep -E ".*(\.cc|\.c|\.h|\.inl)$")" - -echo -e "Files found to format = \n\"\"\"\n$FILE_LIST\n\"\"\"" - -clang-format --verbose -i --style=file $FILE_LIST -- cgit v1.2.3