fix from Pavel Chromy

[openocd] / src / jtag / ep93xx.c

diff --git a/src/jtag/ep93xx.c b/src/jtag/ep93xx.c
index f2e176fd33ce45770753c92a65835ec00fac3f55..f7f741fedd41b225222b062079489fe2a3fcf0d3 100644 (file)
--- a/src/jtag/ep93xx.c
+++ b/src/jtag/ep93xx.c
@@ -77,7 +77,7 @@ bitbang_interface_t ep93xx_bitbang =
        .read = ep93xx_read,
        .write = ep93xx_write,
        .reset = ep93xx_reset,
-       .blink = 0;
+       .blink = 0,
 };
 
 int ep93xx_read(void)
@@ -209,8 +209,8 @@ int ep93xx_init(void)
        gpio_data_register = gpio_controller + 0x08;
        gpio_data_direction_register = gpio_controller + 0x18;
 
-       printf("gpio_data_register      = %p\n", gpio_data_register);
-        printf("gpio_data_direction_reg = %p\n", gpio_data_direction_register); 
+       INFO("gpio_data_register      = %p\n", gpio_data_register);
+       INFO("gpio_data_direction_reg = %p\n", gpio_data_direction_register); 
        /*
         * Configure bit 0 (TDO) as an input, and bits 1-5 (TDI, TCK
         * TMS, TRST, SRST) as outputs.  Drive TDI and TCK low, and