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

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

diff --git a/common/cmd_irq.c b/common/cmd_irq.c
index 2c7e6bbf0c21974ad93ba15cf7440dcf3ed07926..48883289fc03dfeba6613895802557e25358fbaf 100644 (file)
--- a/common/cmd_irq.c
+++ b/common/cmd_irq.c
@@ -24,7 +24,7 @@
 #include <config.h>
 #include <command.h>
 
-int do_interrupts(cmd_tbl_t *cmdtp, int flag, int argc, char *argv[])
+int do_interrupts(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[])
 {
 
        if (argc != 2) {
@@ -49,7 +49,7 @@ U_BOOT_CMD(
 );
 
 /* Implemented in $(CPU)/interrupts.c */
-int do_irqinfo (cmd_tbl_t *cmdtp, int flag, int argc, char *argv[]);
+int do_irqinfo (cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[]);
 
 U_BOOT_CMD(
        irqinfo,    1,    1,     do_irqinfo,