diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/format.sh | 10 | ||||
| -rwxr-xr-x | scripts/gdb.sh | 3 |
2 files changed, 0 insertions, 13 deletions
diff --git a/scripts/format.sh b/scripts/format.sh deleted file mode 100755 index f36943cd..00000000 --- a/scripts/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 diff --git a/scripts/gdb.sh b/scripts/gdb.sh deleted file mode 100755 index f908da16..00000000 --- a/scripts/gdb.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh - -gdb -q -x src/boot/gdbinit |