X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=matchsticks-search.git;a=blobdiff_plain;f=main.c;h=3ee58c59760729eba27ae8b88123caa59d9062b0;hp=25dbb1131ac2bf370a225e9a8def7ccaf2a7817c;hb=0418506e9f67ca705d53cc70d9a29d2cc8dccb40;hpb=f0e7957c6c67d3b18cb1b52756f97891d93b1e3b

diff --git a/main.c b/main.c
index 25dbb11..3ee58c5 100644
--- a/main.c
+++ b/main.c
@@ -733,10 +733,11 @@ static void report(void) {
  
 int main(int argc, char **argv) {
   int opt;
+  double best_to_set = -1.0; /* means 'don't' */
   while ((opt = getopt(argc,argv,"j:b:")) >= 0) {
     switch (opt) {
     case 'j': ncpus = atoi(optarg); break;
-    case 'b': set_best(atof(optarg)); break;
+    case 'b': best_to_set = atof(optarg); break;
     case '+': assert(!"bad option");
     default: abort();
     }
@@ -747,6 +748,7 @@ int main(int argc, char **argv) {
   n = atoi(argv[1]);
   m = atoi(argv[2]);
   assert(n > m);
+  if (best_to_set > 0) set_best(best_to_set);
 
   prep();