[m-rev.] diff: fix MR_GRADE_OPT

[Zoltan Somogyi]

runtime/mercury_grade.h:
	Fix nightly test failures caused by the fact that MR_GRADE_OPT
	didn't contain a valid grade name in debugging and deep profiling
	grades.

cvs diff: Diffing .
Index: mercury_grade.h
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/runtime/mercury_grade.h,v
retrieving revision 1.52
diff -u -b -r1.52 mercury_grade.h
--- mercury_grade.h	31 May 2004 04:13:05 -0000	1.52
+++ mercury_grade.h	4 Jun 2004 04:37:55 -0000
@@ -134,7 +134,7 @@
 
 #ifdef MR_DEEP_PROFILING
   #define MR_GRADE_PART_5	MR_PASTE3(MR_GRADE_PART_4, _profdeep, MR_GRADE_DEEP_PROF_VERSION_NO)
-  #define MR_GRADE_OPT_PART_5	MR_GRADE_OPT_PART_4 ".profdeep" MR_STRINGIFY(MR_GRADE_DEEP_PROF_VERSION_NO)
+  #define MR_GRADE_OPT_PART_5	MR_GRADE_OPT_PART_4 ".profdeep"
   #if defined(MR_MPROF_PROFILE_TIME) || defined(MR_MPROF_PROFILE_CALLS) \
 	|| defined(MR_MPROF_PROFILE_MEMORY)
     /*
@@ -325,14 +325,14 @@
 
 #if defined(MR_DECL_DEBUG)
   #define MR_GRADE_PART_13		MR_PASTE3(MR_GRADE_PART_12, _decldebug, MR_GRADE_EXEC_TRACE_VERSION_NO)
-  #define MR_GRADE_OPT_PART_13		MR_GRADE_OPT_PART_12 ".decldebug" MR_STRINGIFY(MR_GRADE_EXEC_TRACE_VERSION_NO)
+  #define MR_GRADE_OPT_PART_13		MR_GRADE_OPT_PART_12 ".decldebug"
   #if ! defined(MR_EXEC_TRACE)
     #error "declarative debugging require execution tracing"
   #endif
 #else
   #if defined(MR_EXEC_TRACE)
     #define MR_GRADE_PART_13		MR_PASTE3(MR_GRADE_PART_12, _debug, MR_GRADE_EXEC_TRACE_VERSION_NO)
-    #define MR_GRADE_OPT_PART_13	MR_GRADE_OPT_PART_12 ".debug" MR_STRINGIFY(MR_GRADE_EXEC_TRACE_VERSION_NO)
+    #define MR_GRADE_OPT_PART_13	MR_GRADE_OPT_PART_12 ".debug"
     #else
       #define MR_GRADE_PART_13		MR_GRADE_PART_12
       #define MR_GRADE_OPT_PART_13	MR_GRADE_OPT_PART_12
cvs diff: Diffing GETOPT
cvs diff: Diffing machdeps
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------