Make sure that argv[] argument pointers are not modified.

[karo-tx-uboot.git] / common / cmd_terminal.c

diff --git a/common/cmd_terminal.c b/common/cmd_terminal.c
index 60ec378b3c93a40eea63025d9af2506dd09d3df9..7cc1a6c6a0012202f5e86527f9951e6db5a731c9 100644 (file)
--- a/common/cmd_terminal.c
+++ b/common/cmd_terminal.c
@@ -29,7 +29,7 @@
 #include <stdio_dev.h>
 #include <serial.h>
 
-int do_terminal(cmd_tbl_t * cmd, int flag, int argc, char *argv[])
+int do_terminal(cmd_tbl_t * cmd, int flag, int argc, char * const argv[])
 {
        int last_tilde = 0;
        struct stdio_dev *dev = NULL;