diff options
Diffstat (limited to 'cpukit/libcsupport/src')
| -rw-r--r-- | cpukit/libcsupport/src/printk_plugin.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cpukit/libcsupport/src/printk_plugin.c b/cpukit/libcsupport/src/printk_plugin.c index c135300345..bfe4c89bbe 100644 --- a/cpukit/libcsupport/src/printk_plugin.c +++ b/cpukit/libcsupport/src/printk_plugin.c @@ -28,6 +28,8 @@ int printk_plugin( vprintk( format, arg_pointer ); + va_end(arg_pointer); /* clean up when done */ + return 0; } |