From d96823b2ed04e3a47b58e1297ee84455c5b91ac1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bartek=20Iwa=C5=84czuk?= Date: Thu, 5 Nov 2020 16:49:03 +0100 Subject: update third_party (#8253) --- third_party | 2 +- tools/README.md | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/third_party b/third_party index 76b283c42..9aff0d56e 160000 --- a/third_party +++ b/third_party @@ -1 +1 @@ -Subproject commit 76b283c420be9302309e94394d1b3f1ebb425f29 +Subproject commit 9aff0d56e9920c26f8b2eca8714f7e9474fd65c2 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 ``` -- cgit v1.2.3