| 325 | #endif |
| 326 | |
| 327 | int have_flag(int argc, char** argv, char *flag) { |
| 328 | char** argm = argv + argc; |
| 329 | argv++; |
| 330 | if (argv == argm) { |
| 331 | return 1; |
| 332 | } |
| 333 | while (argv != NULL && argv != argm) { |
| 334 | if (strcmp(*argv, flag) == 0) { |
| 335 | return 1; |
| 336 | } |
| 337 | argv++; |
| 338 | } |
| 339 | return 0; |
| 340 | } |
| 341 | |
| 342 | int main(int argc, char **argv) { |
| 343 | bench_inv_t data; |