[MLton-commit] r4587

[Stephen W. <sw...@ml...>]

Fixed r4585 -- only include functions used for time profiling when
HAS_TIME_PROFILING.

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

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

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

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:35:22 UTC (rev 4586)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/sources.c	2006-05-25 00:30:29 UTC (rev 4587)
@@ -19,6 +19,8 @@
   return getSourceName (s, i);
 }
 
+#if HAS_TIME_PROFILING
+
 int compareSourceLabels (const void *v1, const void *v2) {
   const struct GC_sourceLabel* l1 = (const struct GC_sourceLabel*)v1;
   const struct GC_sourceLabel* l2 = (const struct GC_sourceLabel*)v2;
@@ -54,8 +56,6 @@
               <= s->sourceMaps.sourceLabels[i].label);
 }
 
-#if HAS_TIME_PROFILING
-
 void initTextSources (GC_state s) {
   GC_sourceLabelIndex i;
   code_pointer p;

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/gc/sources.h
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/sources.h	2006-05-24 23:35:22 UTC (rev 4586)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/sources.h	2006-05-25 00:30:29 UTC (rev 4587)
@@ -79,9 +79,11 @@
 
 static inline char* getSourceName (GC_state s, GC_sourceIndex i);
 
+#if HAS_TIME_PROFILING
 static inline int compareSourceLabels (const void *v1, const void *v2);
 static void sortSourceLabels (GC_state s);
 static void initTextSources (GC_state s);
+#endif
 
 static void showSources (GC_state s);