diff options
Diffstat (limited to 'src/server/server_stubs.c')
| -rw-r--r-- | src/server/server_stubs.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/server/server_stubs.c b/src/server/server_stubs.c index dcddec0e..3124e22c 100644 --- a/src/server/server_stubs.c +++ b/src/server/server_stubs.c @@ -24,9 +24,9 @@ void openocd_sleep_prelude(void) { - // no-op + /* no-op */ } void openocd_sleep_postlude(void) { - // no-op + /* no-op */ } |