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

[karo-tx-uboot.git] / board / ppmc7xx / ppmc7xx.c

diff --git a/board/ppmc7xx/ppmc7xx.c b/board/ppmc7xx/ppmc7xx.c
index 944cd4ddc6c89fa929f8d35bd247f60fa43f5771..0cad897349279d1582ed245e840f3849f762cc2c 100644 (file)
--- a/board/ppmc7xx/ppmc7xx.c
+++ b/board/ppmc7xx/ppmc7xx.c
@@ -89,7 +89,7 @@ int misc_init_r( void )
  *
  * Shell command to reset the board.
  */
-void do_reset( cmd_tbl_t *cmdtp, int flag, int argc, char *argv[] )
+void do_reset( cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[] )
 {
        printf( "Resetting...\n" );