44 #if defined(WIN32) || defined(__CYGWIN__) 
   52 #if defined(WIN32) || defined(__CYGWIN__) 
   54     QueryPerformanceFrequency(&f);
 
   55     QueryPerformanceCounter(&c);
 
   56     return static_cast<double>(c.QuadPart) / f.QuadPart;
 
   57 #elif defined(HAVE_CLOCK_GETTIME)
 
   59         clock_gettime(CLOCK_PROCESS_CPUTIME_ID, &tp);
 
   60         return (tp.tv_sec + 1e-9 * tp.tv_nsec);
 
   62         return static_cast<double>(clock())/CLOCKS_PER_SEC;
 
double mbdyn_clock_time()
 
static std::stack< cleanup * > c