diff options
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/configure.in b/configure.in index c881f5610..4892ee141 100644 --- a/configure.in +++ b/configure.in @@ -74,6 +74,30 @@ AC_ARG_ENABLE( [enable_debug="no"] ) +# +# RDTSC as Tick Source +# +AC_ARG_ENABLE( + [rdtsc], + AC_HELP_STRING( + [--enable-rdtsc], + [ + Uses rdtsc as timing source (disabled by default) + Enable it when you've timing issues. + + (For example: in conjunction with XEN or Other Virtualization mechanisms) + + Note: + Please ensure that you've disabled dynamic CPU-Frequencys, such as power saving options. + (On the most modern Dedicated Servers cpufreq is preconfigured, see your distribution's manual + how to disable it) + ] + ), + [ + enable_rdtsc=1 + ], + [enable_rdtsc=0] +) # # Profiler @@ -384,6 +408,19 @@ esac # +# RDTSC +# +case $enable_rdtsc in + 0) + #default value + ;; + 1) + CFLAGS="$CFLAGS -DENABLE_RDTSC" + ;; +esac + + +# # Profiler # case $enable_profiler in |