diff options
| author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2016-07-26 02:49:48 +0300 |
|---|---|---|
| committer | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2016-07-26 02:51:25 +0300 |
| commit | 243f8988be2f9d8ba92ef605fe74c123ad26d536 (patch) | |
| tree | 54bf8b89f2005c5c062a9a1d707bdb6516af8b50 /unix/mpconfigport.h | |
| parent | d1771bbae0f68e2700c56aa8b97819b2acb55a7a (diff) | |
| download | micropython-243f8988be2f9d8ba92ef605fe74c123ad26d536.tar.gz micropython-243f8988be2f9d8ba92ef605fe74c123ad26d536.zip | |
unix/mpconfigport.h: Include stdio.h by default.
This allows to use printf() in a any source file with unix port, for quick
debugging.
Diffstat (limited to 'unix/mpconfigport.h')
| -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> |