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