1 files changed, 4 insertions, 2 deletions
diff --git a/shell/cmdedit.h b/shell/cmdedit.h
index 045588dc1..991dafcd1 100644
--- a/shell/cmdedit.h
+++ b/shell/cmdedit.h
@@ -3,7 +3,9 @@
 int     cmdedit_read_input(char* promptStr, char* command);
-void    load_history ( char *fromfile );
+#ifdef CONFIG_FEATURE_COMMAND_SAVEHISTORY
-void    save_history ( char *tofile );
+void    load_history ( const char *fromfile );
+void    save_history ( const char *tofile );
+#endif
 #endif /* CMDEDIT_H */

diff --git a/shell/cmdedit.h b/shell/cmdedit.h index 045588dc1..991dafcd1 100644 --- a/shell/cmdedit.h +++ b/shell/cmdedit.h
@@ -3,7 +3,9 @@
3		3
4	int cmdedit_read_input(char* promptStr, char* command);	4	int cmdedit_read_input(char* promptStr, char* command);
5		5
6	void load_history ( char *fromfile );	6	#ifdef CONFIG_FEATURE_COMMAND_SAVEHISTORY
7	void save_history ( char *tofile );	7	void load_history ( const char *fromfile );
		8	void save_history ( const char *tofile );
		9	#endif
8		10
9	#endif /* CMDEDIT_H */	11	#endif /* CMDEDIT_H */