actually parse -b option

diff --git a/main.c b/main.c
index 8b57a3e51befda4cf6e4f8254b6c8f2d49ec83fa..b38b0ce5e1bbe8cb4d5427dd6184447f0eb94ab8 100644 (file)
--- a/main.c
+++ b/main.c
@@ -728,7 +728,7 @@ static void report(void) {
  
 int main(int argc, char **argv) {
   int opt;
-  while ((opt = getopt(argc,argv,"j:")) >= 0) {
+  while ((opt = getopt(argc,argv,"j:b:")) >= 0) {
     switch (opt) {
     case 'j': ncpus = atoi(optarg); break;
     case 'b': set_best(atof(optarg)); break;