diff --git a/etc/tune.c b/etc/tune.c index 0b7373448..fdec1f845 100644 --- a/etc/tune.c +++ b/etc/tune.c @@ -471,6 +471,9 @@ int main(int argc, char **argv) } } } + if (printpreset == 1) { + updated = orig; + } if (args.terse == 1) { printf("%d %d %d %d\n", updated.MUL_KARATSUBA,