diff options
Diffstat (limited to 'src/tools')
| -rwxr-xr-x | src/tools/format.sh | 17 | ||||
| -rwxr-xr-x | src/tools/lint.sh | 4 |
2 files changed, 0 insertions, 21 deletions
diff --git a/src/tools/format.sh b/src/tools/format.sh deleted file mode 100755 index fec9fab39..000000000 --- a/src/tools/format.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/sh -cd `dirname "$0"`/.. -clang-format -i -style Google *.cc *.h include/*.h -gn format BUILD.gn -gn format deno.gni -gn format .gn -yapf -i tools/*.py js/*.py -prettier --write \ - js/deno.d.ts \ - js/main.ts \ - js/mock_runtime.js \ - js/tsconfig.json -# Do not format these. -# js/msg.pb.js -# js/msg.pb.d.ts - -rustfmt --write-mode overwrite *.rs diff --git a/src/tools/lint.sh b/src/tools/lint.sh deleted file mode 100755 index 64a452f0a..000000000 --- a/src/tools/lint.sh +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/sh -cd `dirname "$0"`/.. -set -e -v -cpplint --filter=-build/include_subdir --repository=. *.cc *.h include/*.h |