From 9e250c3d0a86500c84f942e2e94e9d3531d12bb0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Sun, 17 Feb 2013 08:05:20 -0600
Subject: [PATCH] fix profiler reset on OSX.

---
 C/gprof.c | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/C/gprof.c b/C/gprof.c
index ab595f40c..92bc8e2ff 100755
--- a/C/gprof.c
+++ b/C/gprof.c
@@ -1073,7 +1073,13 @@ static Int start_profilers(int msec)
 
 static Int profoff( USES_REGS1 ) {
   if (GLOBAL_ProfilerOn>0) {
-    setitimer(ITIMER_PROF,NULL,NULL);
+    struct itimerval t;
+    t.it_interval.tv_sec=0;
+    t.it_interval.tv_usec=0;
+    t.it_value.tv_sec=0;
+    t.it_value.tv_usec=0;
+
+    setitimer(ITIMER_PROF,&t,NULL);
     GLOBAL_ProfilerOn = -1;
     return TRUE;
   }