diff options
| author | hallgren <hallgren@chalmers.se> | 2014-03-06 13:42:27 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-03-06 13:42:27 +0000 |
| commit | 052ead6797a4767f12f284e37c298cad4077aa66 (patch) | |
| tree | bd41af423526a97d6953190d690d7d280b477381 /src/runtime/c/pgf/reader.c | |
| parent | e916c77cb4eaf5e8a9188ab2963f09cabbdebf92 (diff) | |
C run-time: protect from Windows specific #includes with #ifdef __MINGW32__
Diffstat (limited to 'src/runtime/c/pgf/reader.c')
| -rw-r--r-- | src/runtime/c/pgf/reader.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/runtime/c/pgf/reader.c b/src/runtime/c/pgf/reader.c index 8163f16ed..7b8ea91bc 100644 --- a/src/runtime/c/pgf/reader.c +++ b/src/runtime/c/pgf/reader.c @@ -14,7 +14,9 @@ #include <gu/utf8.h> #include <math.h> #include <stdlib.h> +#ifdef __MINGW32__ #include <malloc.h> +#endif // // PgfReader |