/* Get a file from the target. */
void
-mi_cmd_target_file_get (char *command, char **argv, int argc)
+mi_cmd_target_file_get (const char *command, char **argv, int argc)
{
int oind = 0;
char *oarg;
/* Send a file to the target. */
void
-mi_cmd_target_file_put (char *command, char **argv, int argc)
+mi_cmd_target_file_put (const char *command, char **argv, int argc)
{
int oind = 0;
char *oarg;
/* Delete a file on the target. */
void
-mi_cmd_target_file_delete (char *command, char **argv, int argc)
+mi_cmd_target_file_delete (const char *command, char **argv, int argc)
{
int oind = 0;
char *oarg;