| 132 | |
| 133 | |
| 134 | void no_more_options(int i, int argc, char* argv[]) |
| 135 | { |
| 136 | if (i + 1 != argc) |
| 137 | usage(); |
| 138 | |
| 139 | input_file_name = argv[i]; |
| 140 | |
| 141 | if (!file_prefix) |
| 142 | { |
| 143 | if (input_file_name) |
| 144 | { |
| 145 | char* s; |
| 146 | file_prefix = strdup(input_file_name); |
| 147 | if ((s = strrchr(file_prefix, '.'))) |
| 148 | *s = 0; |
| 149 | } |
| 150 | else { |
| 151 | file_prefix = "y"; |
| 152 | } |
| 153 | } |
| 154 | } |
| 155 | |
| 156 | |
| 157 | void getargs(int argc, char **argv) |