diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/format.sh | 23 | ||||
| -rwxr-xr-x | tools/lint.sh | 7 |
2 files changed, 30 insertions, 0 deletions
diff --git a/tools/format.sh b/tools/format.sh new file mode 100755 index 000000000..0a5967c52 --- /dev/null +++ b/tools/format.sh @@ -0,0 +1,23 @@ +#!/bin/sh +set -e +cd `dirname "$0"`/.. +clang-format -i -style Google src/*.cc src/*.h src/include/*.h + +# TODO(ry) Remove pushd/popd once .gn is moved to root. +pushd src/ +gn format BUILD.gn +gn format deno.gni +gn format .gn +popd + +yapf -i src/js/*.py +prettier --write \ + src/js/deno.d.ts \ + src/js/main.ts \ + src/js/mock_runtime.js \ + src/js/tsconfig.json +# Do not format these. +# src/js/msg.pb.js +# src/js/msg.pb.d.ts + +rustfmt --write-mode overwrite src/*.rs diff --git a/tools/lint.sh b/tools/lint.sh new file mode 100755 index 000000000..c14cfa50d --- /dev/null +++ b/tools/lint.sh @@ -0,0 +1,7 @@ +#!/bin/sh +set -e +cd `dirname "$0"`/.. +cpplint --filter=-build/include_subdir --repository=src \ + src/*.cc \ + src/*.h \ + src/include/*.h |