chiark / gitweb /
report something to stdout even if no answer
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 9 Mar 2014 18:39:23 +0000 (18:39 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 9 Mar 2014 18:39:23 +0000 (18:39 +0000)
main.c

diff --git a/main.c b/main.c
index fb270e0d75ccf61d6f07917a5e432b37860fe409..8b57a3e51befda4cf6e4f8254b6c8f2d49ec83fa 100644 (file)
--- a/main.c
+++ b/main.c
@@ -719,6 +719,8 @@ static void report(void) {
       }
       printf("\n");
     }
+  } else {
+    printf(" none better than %9.3f ", best);
   }
   printf("   [%s]\n", VERSION);
   if (ferror(stdout) || fclose(stdout)) { perror("stdout"); exit(-1); }