trivial diff: fix bug with memory profiling
Fergus Henderson
fjh at cs.mu.OZ.AU
Mon Mar 29 21:17:04 AEST 1999
Estimated hours taken: 0.5
compiler/handle_options.m:
Fix a bug with the handling of memory profiling: the grade
`.memprof' implies both profile_calls and profile_memory,
not just profile_memory.
Index: compiler/handle_options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/handle_options.m,v
retrieving revision 1.70
diff -u -r1.70 handle_options.m
--- handle_options.m 1998/12/09 03:26:21 1.70
+++ handle_options.m 1999/03/29 11:05:37
@@ -672,7 +672,7 @@
grade_component_table("profcalls", prof, [profile_time - bool(no),
profile_calls - bool(yes), profile_memory - bool(no)]).
grade_component_table("memprof", prof, [profile_time - bool(no),
- profile_calls - bool(no), profile_memory - bool(yes)]).
+ profile_calls - bool(yes), profile_memory - bool(yes)]).
grade_component_table("profall", prof, [profile_time - bool(yes),
profile_calls - bool(yes), profile_memory - bool(yes)]).
--
Fergus Henderson <fjh at cs.mu.oz.au> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3 | -- the last words of T. S. Garp.
More information about the developers
mailing list