[MLton-commit] r4546

[Matthew Fluet]

Fixed attribute sytax
----------------------------------------------------------------------

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

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

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/gc/profiling.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/profiling.c	2006-05-16 02:06:02 UTC (rev 4545)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/profiling.c	2006-05-16 02:45:59 UTC (rev 4546)
@@ -306,7 +306,7 @@
  * mlton/main/main.fun to make sure that time profiling is never
  * turned on.
  */
-static void initProfilingTime (GC_state s) __attribute__ ((noreturn));
+__attribute__ ((noreturn))
 void initProfilingTime (__attribute__ ((unused)) GC_state s) {
   die ("no time profiling");
 }
@@ -346,7 +346,6 @@
   incForProfiling (s, 1, sourceSeqsIndex);
 }
 
-static void initProfilingTime (GC_state s);
 static void initProfilingTime (GC_state s) {
   struct sigaction sa;
 

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/gc/profiling.h
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/profiling.h	2006-05-16 02:06:02 UTC (rev 4545)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/profiling.h	2006-05-16 02:45:59 UTC (rev 4546)
@@ -99,8 +99,9 @@
 static void writeProfileCount (GC_state s, int fd, GC_profileData p, GC_profileMasterIndex i);
 
 static void setProfTimer (long usec);
+static void initProfilingTime (GC_state s) 
+static void atexitForProfiling (void);
 static void initProfiling (GC_state s);
-static void atexitForProfiling (void);
 
 #endif /* (defined (MLTON_GC_INTERNAL_FUNCS)) */