comparison scripts/profiler/profile.m @ 33426:25faa5446214 stable

profile.m: Clear existing profile data when profiler enabled (bug #65595) * NEWS.9.md: Add description of bugfix to 9.2 release notes. * profile.m: In case "on", call __profiler_reset__ () before enabling profiler.
author Rik <rik@octave.org>
date Wed, 17 Apr 2024 15:25:34 -0700
parents 9fcb77b0341b
children 761b404e9569
comparison
equal deleted inserted replaced
33425:3e7059ae815c 33426:25faa5446214
72 print_usage (); 72 print_usage ();
73 endif 73 endif
74 74
75 switch (arg) 75 switch (arg)
76 case "on" 76 case "on"
77 if (__profiler_enable__ ())
78 __profiler_enable__ (false);
79 endif
80 __profiler_reset__ ();
77 __profiler_enable__ (true); 81 __profiler_enable__ (true);
78 82
79 case "off" 83 case "off"
80 __profiler_enable__ (false); 84 __profiler_enable__ (false);
81 85