diff options
Diffstat (limited to 'unix')
| -rw-r--r-- | unix/mpconfigport.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/unix/mpconfigport.h b/unix/mpconfigport.h index b5c65f7cfd..2f4ec11211 100644 --- a/unix/mpconfigport.h +++ b/unix/mpconfigport.h @@ -301,3 +301,6 @@ void mp_unix_mark_exec(void); #ifndef _DIRENT_HAVE_D_INO #define _DIRENT_HAVE_D_INO (1) #endif + +// For debugging purposes, make printf() available to any source file. +#include <stdio.h> |