libraries/base/cbits/sysconf.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

#include "HsBaseConfig.h"

/* For _SC_CLK_TCK */
#if HAVE_UNISTD_H
#include <unistd.h>
#endif

/* for CLK_TCK */
#if HAVE_TIME_H
#include <time.h>
#endif

long clk_tck(void) {
#if defined(CLK_TCK)
    return (CLK_TCK);
#else
    return sysconf(_SC_CLK_TCK);
#endif
}