diff options
Diffstat (limited to 'shell/cmdedit.c')
-rw-r--r-- | shell/cmdedit.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/shell/cmdedit.c b/shell/cmdedit.c index f999b88e9..31f4c7b20 100644 --- a/shell/cmdedit.c +++ b/shell/cmdedit.c | |||
@@ -1191,7 +1191,7 @@ static int get_next_history(void) | |||
1191 | } | 1191 | } |
1192 | 1192 | ||
1193 | #ifdef CONFIG_FEATURE_COMMAND_SAVEHISTORY | 1193 | #ifdef CONFIG_FEATURE_COMMAND_SAVEHISTORY |
1194 | extern void load_history ( const char *fromfile ) | 1194 | void load_history ( const char *fromfile ) |
1195 | { | 1195 | { |
1196 | FILE *fp; | 1196 | FILE *fp; |
1197 | int hi; | 1197 | int hi; |
@@ -1225,7 +1225,7 @@ extern void load_history ( const char *fromfile ) | |||
1225 | cur_history = n_history = hi; | 1225 | cur_history = n_history = hi; |
1226 | } | 1226 | } |
1227 | 1227 | ||
1228 | extern void save_history ( const char *tofile ) | 1228 | void save_history ( const char *tofile ) |
1229 | { | 1229 | { |
1230 | FILE *fp = fopen ( tofile, "w" ); | 1230 | FILE *fp = fopen ( tofile, "w" ); |
1231 | 1231 | ||