diff options
| author | Bartek Iwańczuk <biwanczuk@gmail.com> | 2020-11-05 16:49:03 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-05 16:49:03 +0100 |
| commit | d96823b2ed04e3a47b58e1297ee84455c5b91ac1 (patch) | |
| tree | d2943e79bf9c9ba92ad3f3247d00a1ce1a9a5e27 /tools/README.md | |
| parent | 791119d4af1066b20fa2b5bf8fc82d04d843d51d (diff) | |
update third_party (#8253)
Diffstat (limited to 'tools/README.md')
| -rw-r--r-- | tools/README.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/README.md b/tools/README.md index dff70e9e8..2949f729d 100644 --- a/tools/README.md +++ b/tools/README.md @@ -10,10 +10,10 @@ prerequisite to run this before code check in. To run formatting: ```sh -deno run -A --unstable ./tools/format.js +deno run --allow-read --allow-write --allow-run --unstable ./tools/format.js ``` -## lint.py +## lint.js This script will lint the code base (currently using dlint, clippy). It is a prerequisite to run this before code check in. @@ -21,5 +21,5 @@ prerequisite to run this before code check in. To run linting: ```sh -deno run -A --unstable ./tools/lint.js +deno run --allow-read --allow-write --allow-run --unstable ./tools/lint.js ``` |