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(); |