diff options
| author | Marco Bodrato <bodrato@mail.dm.unipi.it> | 2012-01-05 01:52:27 +0100 |
|---|---|---|
| committer | Marco Bodrato <bodrato@mail.dm.unipi.it> | 2012-01-05 01:52:27 +0100 |
| commit | d71bc86c73377404ca6b389ef328af99bf4e0ce9 (patch) | |
| tree | 12eeadab1c1c245c31046852cac556b006a113c7 /tune | |
| parent | 8e252e348014297749e031d55359725fc7d91c02 (diff) | |
| download | gmp-d71bc86c73377404ca6b389ef328af99bf4e0ce9.tar.gz | |
tune_fac_ui: FAC_ODD_THRESHOLD can be "always".
Diffstat (limited to 'tune')
| -rw-r--r-- | tune/tuneup.c | 3 |
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, ¶m); param.name = "FAC_ODD_THRESHOLD"; - param.min_size = 9; + param.min_size = 22; + param.min_is_always = 1; one (&fac_odd_threshold, ¶m); } |