]> git.gag.com Git - fw/openocd/commit
gdb_server: minor fix for indentation
authorAntonio Borneo <borneo.antonio@gmail.com>
Sat, 19 Dec 2020 15:15:54 +0000 (16:15 +0100)
committerAntonio Borneo <borneo.antonio@gmail.com>
Sat, 26 Dec 2020 15:48:13 +0000 (15:48 +0000)
commit7f74906c2d18a2347ec392f9a457963bff3f25b8
tree11ea67539f0a1281571501de380104e258e99e50
parent433e37f02f6a38a3905b84f2aac12fdd66045137
gdb_server: minor fix for indentation

Use a TAB in place of 4 spaces

Change-Id: Ic34b7c3ef24078d2c36a193d4dd079bca5a7ef2e
Signed-off-by: Antonio Borneo <borneo.antonio@gmail.com>
Fixes: a4cdce0129a6 ("gdb_server: prevent false positive valgrind report")
Reviewed-on: http://openocd.zylin.com/5982
Tested-by: jenkins
Reviewed-by: Jonathan McDowell <noodles-openocd@earth.li>
src/server/gdb_server.c