| 796 | } |
| 797 | |
| 798 | static void enumerate_configs(void) |
| 799 | { |
| 800 | fprintf(stderr, "Options for <board-name>:<config-name> include:\n\n"); |
| 801 | config_search("", enumerate_callback, NULL); |
| 802 | } |
| 803 | |
| 804 | static void check_configdir(void) |
| 805 | { |
no test coverage detected