| 6826 | } |
| 6827 | |
| 6828 | static void config_print_unknown_key(const char *key) { |
| 6829 | (void)fprintf(stderr, "error: unknown config key: %s\nKnown keys:", key ? key : ""); |
| 6830 | for (size_t i = 0; i < sizeof(CONFIG_KEYS) / sizeof(CONFIG_KEYS[0]); i++) { |
| 6831 | (void)fprintf(stderr, " %s", CONFIG_KEYS[i].key); |
| 6832 | } |
| 6833 | (void)fprintf(stderr, "\n"); |
| 6834 | } |
| 6835 | |
| 6836 | int cbm_cmd_config(int argc, char **argv) { |
| 6837 | /* NULL argv with a nonzero argc previously slipped past this guard (the |