reinstated resetting and correctied printout in case of cut-offs given at command-line

czurnieden · czurnieden · commit dedbd25e5f4c · 2019-11-09T00:01:55.000+01:00
diff --git a/etc/tune.c b/etc/tune.c
@@ -467,9 +467,13 @@ int main(int argc, char **argv)
          if (test[n].fn != NULL) {
             s_run(test[n].name, test[n].fn, test[n].cutoff);
             *test[n].update = *test[n].cutoff;
+            *test[n].cutoff = INT_MAX;
          }
       }
    }
+   if (printpreset == 1) {
+      updated = orig;
+   }
    if (args.terse == 1) {
       printf("%d %d %d %d\n",
              updated.MUL_KARATSUBA,

Original file line number	Diff line number	Diff line change
`@@ -467,9 +467,13 @@ int main(int argc, char **argv)`
`467`	`467`	`if (test[n].fn != NULL) {`
`468`	`468`	`s_run(test[n].name, test[n].fn, test[n].cutoff);`
`469`	`469`	`test[n].update = test[n].cutoff;`
	`470`	`+ *test[n].cutoff = INT_MAX;`
`470`	`471`	`}`
`471`	`472`	`}`
`472`	`473`	`}`
	`474`	`+ if (printpreset == 1) {`
	`475`	`+ updated = orig;`
	`476`	`+ }`
`473`	`477`	`if (args.terse == 1) {`
`474`	`478`	`printf("%d %d %d %d\n",`
`475`	`479`	`updated.MUL_KARATSUBA,`