From f9f37f902ab02b7d2ec1a23dd5af767c44f64a55 Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Sat, 29 Nov 2025 17:36:36 -0500 Subject: chore: pack scripts in one 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 49b0b41..0000000 --- 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 \ No newline at end of file -- cgit v1.2.3