BugFix: add erronously deleted break
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Sun, 1 Jun 2008 14:26:39 +0000 (14:26 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Sun, 1 Jun 2008 14:26:39 +0000 (14:26 +0000)
[r19903]

driver/firm_cmdline.c

index 892a8c4..d7ca466 100644 (file)
@@ -392,6 +392,7 @@ int firm_option(const char *opt)
           break;
         }
       }
+      break;
     }
   }