summaryrefslogtreecommitdiff
path: root/Build/source/texk/kpathsea/win32lib.c
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/kpathsea/win32lib.c')
-rw-r--r--Build/source/texk/kpathsea/win32lib.c5
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];