| commit | 18ee0f603ebd3c091f6d2ab88e652fda32821048 | [log] [tgz] |
|---|---|---|
| author | Yegappan Lakshmanan <yegappan@yahoo.com> | Fri Apr 08 13:23:19 2022 +0100 |
| committer | Bram Moolenaar <Bram@vim.org> | Fri Apr 08 13:23:19 2022 +0100 |
| tree | 7989533f3caa07a806e0344ecc0ad5ff49af5a26 | |
| parent | 3a56b6d405fc0f1ca928b77382f97d0c552bea64 [diff] [blame] |
patch 8.2.4712: only get profiling information after exiting
Problem: Only get profiling information after exiting.
Solution: Add "profile dump" and "profile stop". (Marco Hinz, Yegappan
Lakshmanan, closes #10107)
diff --git a/src/version.c b/src/version.c index 54efff4..cebb0d0 100644 --- a/src/version.c +++ b/src/version.c
@@ -747,6 +747,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 4712, +/**/ 4711, /**/ 4710,