* device/include/pic16/stdio.h, device/lib/pic16/libc/stdio/streams.c,

[fw/sdcc] / device / lib / pic16 / libc / stdio / vprintf.c

diff --git a/device/lib/pic16/libc/stdio/vprintf.c b/device/lib/pic16/libc/stdio/vprintf.c
index 992132dfa4a0ae0e6602dc8c846dbbee2857bae4..ef6be5e1a867ebf3f16a720f52bd50ebaf7ee142 100644 (file)
--- a/device/lib/pic16/libc/stdio/vprintf.c
+++ b/device/lib/pic16/libc/stdio/vprintf.c
@@ -1,8 +1,8 @@
 /*-----------------------------------------------------------------
-    vprintf.c - 
+    vprintf.c -
 
     Written for pic16 port, by Vangelis Rokas, 2005 (vrokas@otenet.gr)
-    
+
     This library is free software; you can redistribute it and/or modify it
     under the terms of the GNU Library General Public License as published by the
     Free Software Foundation; either version 2, or (at your option) any
@@ -20,20 +20,20 @@
     In other words, you are welcome to use, share and improve this program.
     You are forbidden to forbid anyone else to use, share and improve
     what you give them.   Help stamp out software-hoarding!
--------------------------------------------------------------------------*/
 
-/*
-** $Id$
-*/
+   As a special exception, if you link this library with other files,
+   some of which are compiled with SDCC, to produce an executable,
+   this library does not by itself cause the resulting executable
+   to be covered by the GNU General Public License.
+   This exception does not however invalidate any other reasons why
+   the executable file might be covered by the GNU General Public License.
+-------------------------------------------------------------------------*/
 
 #include <stdarg.h>
 #include <stdio.h>
 
-unsigned vprintf(char *fmt, va_list ap)
+int
+vprintf (const char *fmt, va_list ap)
 {
-  unsigned int i;
-  
-    i = vfprintf(stdout, fmt, ap);
-    
-  return (i);
+  return vfprintf(stdout, fmt, ap);
 }