1
0
forked from aniani/vim

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)
This commit is contained in:
Yegappan Lakshmanan
2022-04-08 13:23:19 +01:00
committed by Bram Moolenaar
parent 3a56b6d405
commit 18ee0f603e
4 changed files with 211 additions and 12 deletions

View File

@@ -746,6 +746,8 @@ static char *(features[]) =
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
4712,
/**/
4711,
/**/