From 42f126e80ddd5edcc5df825e23b6c5faae1957fa Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Delanoy?= Date: Fri, 21 Oct 2011 00:56:32 +0200 Subject: [PATCH] cmd: Constify WCMD_pushd parameter. --- programs/cmd/builtins.c | 3 ++- programs/cmd/wcmd.h | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/programs/cmd/builtins.c b/programs/cmd/builtins.c index 79e1cedee66..721fb02ce11 100644 --- a/programs/cmd/builtins.c +++ b/programs/cmd/builtins.c @@ -1418,7 +1418,8 @@ void WCMD_goto (CMD_LIST **cmdList) { * Push a directory onto the stack */ -void WCMD_pushd (WCHAR *command) { +void WCMD_pushd (const WCHAR *command) +{ struct env_stack *curdir; WCHAR *thisdir; static const WCHAR parmD[] = {'/','D','\0'}; diff --git a/programs/cmd/wcmd.h b/programs/cmd/wcmd.h index e025484c54b..33ae12fbbbb 100644 --- a/programs/cmd/wcmd.h +++ b/programs/cmd/wcmd.h @@ -79,7 +79,7 @@ void WCMD_output_asis_stderr (const WCHAR *message); void WCMD_pause (void); void WCMD_popd (void); void WCMD_print_error (void); -void WCMD_pushd (WCHAR *); +void WCMD_pushd (const WCHAR *command); void WCMD_remove_dir (WCHAR *command); void WCMD_rename (void); void WCMD_run_program (WCHAR *command, int called);