diff --git a/tools/fix_code_style.sh b/tools/fix_code_style.sh deleted file mode 100755 index a6543998868e9eeb25d6224bfaca4ccd4585dfc5..0000000000000000000000000000000000000000 --- a/tools/fix_code_style.sh +++ /dev/null @@ -1,19 +0,0 @@ -#!/bin/sh -astyle \ - --style=allman \ - --indent=spaces=4 \ - --indent-cases \ - --indent-preprocessor \ - --break-blocks=all \ - --pad-oper \ - --pad-header \ - --unpad-paren \ - --keep-one-line-blocks \ - --keep-one-line-statements \ - --align-pointer=name \ - --align-reference=name \ - --suffix=none \ - --ignore-exclude-errors-x \ - --lineend=linux \ - --exclude=EASTL \ - $*