| Index: src/utils.h
 | 
| ===================================================================
 | 
| --- src/utils.h	(revision 5544)
 | 
| +++ src/utils.h	(working copy)
 | 
| @@ -222,22 +222,12 @@
 | 
|  // ----------------------------------------------------------------------------
 | 
|  // I/O support.
 | 
|  
 | 
| -#if __GNUC__ >= 4
 | 
| -// On gcc we can ask the compiler to check the types of %d-style format
 | 
| -// specifiers and their associated arguments.  TODO(erikcorry) fix this
 | 
| -// so it works on MacOSX.
 | 
| -#if defined(__MACH__) && defined(__APPLE__)
 | 
| -#define PRINTF_CHECKING
 | 
| -#else  // MacOsX.
 | 
| -#define PRINTF_CHECKING __attribute__ ((format (printf, 1, 2)))
 | 
| -#endif
 | 
| -#else
 | 
| -#define PRINTF_CHECKING
 | 
| -#endif
 | 
| +// Our version of printf(). Avoids compilation errors that we get
 | 
| +// with standard printf when attempting to print pointers, etc.
 | 
| +// (the errors are due to the extra compilation flags, which we
 | 
| +// want elsewhere).
 | 
| +void PrintF(const char* format, ...);
 | 
|  
 | 
| -// Our version of printf().
 | 
| -void PRINTF_CHECKING PrintF(const char* format, ...);
 | 
| -
 | 
|  // Our version of fflush.
 | 
|  void Flush();
 | 
|  
 | 
| 
 |