diff options
Diffstat (limited to 'include/cli.h')
| -rw-r--r-- | include/cli.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/include/cli.h b/include/cli.h index 61f8aee4ad..10dbc66651 100644 --- a/include/cli.h +++ b/include/cli.h @@ -100,9 +100,6 @@ int cli_readline_into_buffer(const char *const prompt, char *buffer, */ int cli_simple_parse_line(char *line, char *argv[]); -/** bootretry_dont_retry() - Indicate that we should not retry the boot */ -void bootretry_dont_retry(void); - #define endtick(seconds) (get_ticks() + (uint64_t)(seconds) * get_tbclk()) #endif |
