diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/format.sh | 4 | ||||
| -rwxr-xr-x | tools/lint.sh | 3 | ||||
| l--------- | tools/protoc_wrapper | 1 |
3 files changed, 4 insertions, 4 deletions
diff --git a/tools/format.sh b/tools/format.sh index 1225ac08a..bbb0c93c8 100755 --- a/tools/format.sh +++ b/tools/format.sh @@ -15,7 +15,7 @@ prettier --write \ js/mock_runtime.js \ tsconfig.json # Do not format these. -# js/msg.pb.js -# js/msg.pb.d.ts +# js/msg_generated.ts +# js/flatbuffers.js rustfmt --write-mode overwrite src/*.rs diff --git a/tools/lint.sh b/tools/lint.sh index 54bc43f94..90e79ce89 100755 --- a/tools/lint.sh +++ b/tools/lint.sh @@ -8,4 +8,5 @@ cd `dirname "$0"`/.. src/*.cc \ src/*.h \ src/include/*.h -node ./js/node_modules/.bin/tslint -p . +node third_party/node_modules/.bin/tslint -p . \ + --exclude js/msg_generated.ts diff --git a/tools/protoc_wrapper b/tools/protoc_wrapper deleted file mode 120000 index 008a7795e..000000000 --- a/tools/protoc_wrapper +++ /dev/null @@ -1 +0,0 @@ -../third_party/tools/protoc_wrapper
\ No newline at end of file |