diff options
Diffstat (limited to 'Build/source/texk/kpathsea/win32lib.c')
-rw-r--r-- | Build/source/texk/kpathsea/win32lib.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Build/source/texk/kpathsea/win32lib.c b/Build/source/texk/kpathsea/win32lib.c index 35a0267887e..4b176aab922 100644 --- a/Build/source/texk/kpathsea/win32lib.c +++ b/Build/source/texk/kpathsea/win32lib.c @@ -31,6 +31,11 @@ static int is_include_space(const char *s) return 0; } +double win32_floor (double x) +{ + return floor (x); +} + FILE * win32_popen (const char *cmd, const char *fmode) { char mode[3]; |