[MLton-commit] r4585

[Stephen Weeks]

Only define initTextSources if HAS_TIME_PROFILING, since that is the
only situation in which it is used.  Without an #ifdef, one gets
"defined but not used" warnings from gcc.

----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/runtime/gc/sources.c

----------------------------------------------------------------------

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/gc/sources.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/sources.c	2006-05-24 23:28:55 UTC (rev 4584)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/sources.c	2006-05-24 23:31:53 UTC (rev 4585)
@@ -54,6 +54,8 @@
               <= s->sourceMaps.sourceLabels[i].label);
 }
 
+#if HAS_TIME_PROFILING
+
 void initTextSources (GC_state s) {
   GC_sourceLabelIndex i;
   code_pointer p;
@@ -87,6 +89,7 @@
     s->sourceMaps.textSources[p - s->sourceMaps.textStart] = sourceSeqIndex;
 }
 
+#endif
 
 void showSources (GC_state s) {
   uint32_t i;