summaryrefslogtreecommitdiff
path: root/tune
diff options
context:
space:
mode:
authorMarco Bodrato <bodrato@mail.dm.unipi.it>2012-01-05 01:52:27 +0100
committerMarco Bodrato <bodrato@mail.dm.unipi.it>2012-01-05 01:52:27 +0100
commitd71bc86c73377404ca6b389ef328af99bf4e0ce9 (patch)
tree12eeadab1c1c245c31046852cac556b006a113c7 /tune
parent8e252e348014297749e031d55359725fc7d91c02 (diff)
downloadgmp-d71bc86c73377404ca6b389ef328af99bf4e0ce9.tar.gz
tune_fac_ui: FAC_ODD_THRESHOLD can be "always".
Diffstat (limited to 'tune')
-rw-r--r--tune/tuneup.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/tune/tuneup.c b/tune/tuneup.c
index 6bd486af2..9711a4c79 100644
--- a/tune/tuneup.c
+++ b/tune/tuneup.c
@@ -2634,7 +2634,8 @@ tune_fac_ui (void)
one (&fac_dsc_threshold, &param);
param.name = "FAC_ODD_THRESHOLD";
- param.min_size = 9;
+ param.min_size = 22;
+ param.min_is_always = 1;
one (&fac_odd_threshold, &param);
}