From 80f48521c91c12d51ac42b8a6c935fae917bb14d Mon Sep 17 00:00:00 2001
From: "Matthieu C." <886074+teto@users.noreply.github.com>
Date: Wed, 19 Jun 2024 22:36:59 +0200
Subject: pluginupdate.py: print script duration

to help track the plugin speed across time
---
 maintainers/scripts/pluginupdate.py | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'maintainers/scripts')

diff --git a/maintainers/scripts/pluginupdate.py b/maintainers/scripts/pluginupdate.py
index 8ae86e2e93a49..ce4f55ae1e3cd 100644
--- a/maintainers/scripts/pluginupdate.py
+++ b/maintainers/scripts/pluginupdate.py
@@ -788,7 +788,10 @@ def update_plugins(editor: Editor, args):
     fetch_config = FetchConfig(args.proc, args.github_token)
     update = editor.get_update(args.input_file, args.outfile, fetch_config)
 
+    start_time = time.time()
     redirects = update()
+    duration = time.time() - start_time
+    print(f"The plugin update took {duration}s.")
     editor.rewrite_input(fetch_config, args.input_file, editor.deprecated, redirects)
 
     autocommit = not args.no_commit
-- 
cgit 1.4.1