[fix] make_memory_map should receive flash_size as uint32_t
authorFabien Le Mentec <texane@gmail.com>
Sun, 5 Jun 2011 17:35:09 +0000 (12:35 -0500)
committerFabien Le Mentec <texane@gmail.com>
Sun, 5 Jun 2011 17:35:09 +0000 (12:35 -0500)
commit08a79ed0fe770d11a06c7b661f9ee542a7d8d85b
tree5d8313b0964bb967b1d0dd5d435edacafb5fbe90
parent4f35b81fc5ae48cb2cff8cbbc5d1b242bc2c829e
[fix] make_memory_map should receive flash_size as uint32_t
src/gdb-server.c