src/util/CactusTimers.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37

 /*@@
   @file      CactusTimers.c
   @date      Thu Oct  8 18:30:28 1998
   @author    Tom Goodale
   @desc 
   Timer stuff.
   @enddesc 
 @@*/

#include "CactusTimers.h"
/* Joan */
#include <stdlib.h>


static char *rcsid = "$Header$";

cTimer *CactusNewTimer(void)
{
  cTimer *timer;

  timer = (cTimer*) malloc(sizeof(cTimer));

  return timer;
}


void CactusStartTimer(cTimer *timer)
{
}

void CactusStopTimer(cTimer *timer)
{
}

void CactusResetTimer(cTimer *timer)
{
}