summaryrefslogtreecommitdiff
path: root/tune/time.c
diff options
context:
space:
mode:
authorNiels Möller <nisse@lysator.liu.se>2010-02-15 11:47:21 +0100
committerNiels Möller <nisse@lysator.liu.se>2010-02-15 11:47:21 +0100
commitde1a53bdf114a81016c40e6dc08fc5700b0b33ac (patch)
tree2bc7525b9a555b3a9f762a4c912b28a1a1374ea6 /tune/time.c
parent4f4d385d275a00d95f693326c6015e1d48b4d864 (diff)
downloadgmp-de1a53bdf114a81016c40e6dc08fc5700b0b33ac.tar.gz
Make use of cycle counter for measurements configurable.
Diffstat (limited to 'tune/time.c')
-rw-r--r--tune/time.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/tune/time.c b/tune/time.c
index 320a47d04..0954e529c 100644
--- a/tune/time.c
+++ b/tune/time.c
@@ -455,7 +455,7 @@ cycles_works_p (void)
if (result != -1)
goto done;
-
+
/* FIXME: On linux, the cycle counter is not saved and restored over
* context switches, making it almost useless for precise cputime
* measurements. When available, it's better to use clock_gettime,
@@ -954,7 +954,7 @@ speed_time_init (void)
speed_cycletime_init ();
- if (have_cycles && cycles_works_p ())
+ if (!speed_option_cycles_broken && have_cycles && cycles_works_p ())
{
use_cycles = 1;
DEFAULT (speed_cycletime, 1.0);