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

[karo-tx-uboot.git] / board / pxa255_idp / pxa_idp.c

diff --git a/board/pxa255_idp/pxa_idp.c b/board/pxa255_idp/pxa_idp.c
index 05e30ecf001077e4ac42cbacc78e074066266782..a54a95dca907677a4ae0f3d5f0f88edb3cfcfd36 100644 (file)
--- a/board/pxa255_idp/pxa_idp.c
+++ b/board/pxa255_idp/pxa_idp.c
@@ -122,7 +122,7 @@ void blink_c(void)
        GPCR0 = led_bit;
 }
 
-int do_idpcmd(cmd_tbl_t *cmdtp, int flag, int argc, char *argv[])
+int do_idpcmd(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[])
 {
        printf("IDPCMD started\n");
        return 0;