Line data    Source code

       1             : /* -*- buffer-read-only: t -*- vi: set ro: */
       2             : /* DO NOT EDIT! GENERATED AUTOMATICALLY! */
       3             : #line 1
       4             : /* Formatted output to a stream.
       5             :    Copyright (C) 2007 Free Software Foundation, Inc.
       6             : 
       7             :    This program is free software: you can redistribute it and/or modify
       8             :    it under the terms of the GNU General Public License as published by
       9             :    the Free Software Foundation; either version 3 of the License, or
      10             :    (at your option) any later version.
      11             : 
      12             :    This program is distributed in the hope that it will be useful,
      13             :    but WITHOUT ANY WARRANTY; without even the implied warranty of
      14             :    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
      15             :    GNU General Public License for more details.
      16             : 
      17             :    You should have received a copy of the GNU General Public License
      18             :    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
      19             : 
      20             : #if 1
      21             : # include <config.h>
      22             : #endif
      23             : 
      24             : /* Specification.  */
      25             : #include <stdio.h>
      26             : 
      27             : #include <stdarg.h>
      28             : 
      29             : /* Print formatted output to standard output.
      30          45 :    Return string length of formatted string.  On error, return a negative
      31             :    value.  */
      32          45 : int
      33             : vprintf (const char *format, va_list args)
      34             : {
      35             :   return vfprintf (stdout, format, args);
      36             : }