diff options
| author | flip1995 <philipp.krones@embecosm.com> | 2021-07-29 12:16:06 +0200 |
|---|---|---|
| committer | flip1995 <philipp.krones@embecosm.com> | 2021-07-29 12:16:06 +0200 |
| commit | 2b20f49841dbfb773d47c008b4278885435483ac (patch) | |
| tree | d0799017c6caa0d09cced4ef5e3726abb81b93ae /clippy_dev/src | |
| parent | 5331fea87543eee06da7eef9f9854e89e9b5c7f3 (diff) | |
Merge commit '0cce3f643bfcbb92d5a1bb71858c9cbaff749d6b' into clippyup
Diffstat (limited to 'clippy_dev/src')
| -rw-r--r-- | clippy_dev/src/new_lint.rs | 9 | ||||
| -rw-r--r-- | clippy_dev/src/serve.rs | 4 |
2 files changed, 5 insertions, 8 deletions
diff --git a/clippy_dev/src/new_lint.rs b/clippy_dev/src/new_lint.rs index 4676c2affad..3a81aaba6de 100644 --- a/clippy_dev/src/new_lint.rs +++ b/clippy_dev/src/new_lint.rs @@ -169,14 +169,11 @@ use rustc_session::{{declare_lint_pass, declare_tool_lint}}; {pass_import} declare_clippy_lint! {{ - /// **What it does:** + /// ### What it does /// - /// **Why is this bad?** - /// - /// **Known problems:** None. - /// - /// **Example:** + /// ### Why is this bad? /// + /// ### Example /// ```rust /// // example code where clippy issues a warning /// ``` diff --git a/clippy_dev/src/serve.rs b/clippy_dev/src/serve.rs index d13c27a1957..b36e2a28ee4 100644 --- a/clippy_dev/src/serve.rs +++ b/clippy_dev/src/serve.rs @@ -15,8 +15,8 @@ pub fn run(port: u16, lint: Option<&str>) -> ! { loop { if mtime("util/gh-pages/lints.json") < mtime("clippy_lints/src") { - Command::new("python3") - .arg("util/export.py") + Command::new("cargo") + .arg("collect-metadata") .spawn() .unwrap() .wait() |