(Options options)
| 800 | } |
| 801 | |
| 802 | private static void printUsage(Options options) { |
| 803 | HelpFormatter hlpfrmt = new HelpFormatter(); |
| 804 | hlpfrmt.printHelp("benchbase", options); |
| 805 | } |
| 806 | |
| 807 | /** |
| 808 | * Returns true if the given key is in the CommandLine object and is set to true. |