From 4b85ab4209c757f91a4288f82f7a20ece0348107 Mon Sep 17 00:00:00 2001 From: Petr Matousek Date: Sun, 19 May 2024 15:46:10 +0200 Subject: [PATCH] clippy: return error in case of malformed input --- scripts/convert-clippy.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/convert-clippy.py b/scripts/convert-clippy.py index 8af0689..a057b78 100755 --- a/scripts/convert-clippy.py +++ b/scripts/convert-clippy.py @@ -18,7 +18,7 @@ def main(): item = json.loads(line) except Exception as e: print("rust-clippy: Error while converting results:", e, file=sys.stderr) - continue + sys.exit(1) if item["reason"] != "compiler-message": continue