| 29 | } |
| 30 | |
| 31 | static void readarg(const char *desc, char *val, int len) |
| 32 | { |
| 33 | printf("%s: ", desc); |
| 34 | fflush(stdout); |
| 35 | fgets(val, len, stdin); |
| 36 | char *end = strchr(val, '\n'); |
| 37 | if(end) *end = '\0'; |
| 38 | } |
| 39 | |
| 40 | static void readarg(vector<char> &argstr, const char *desc, const char *name) |
| 41 | { |