diff options
Diffstat (limited to 'Build/source/texk/web2c/texmfmp.h')
-rw-r--r-- | Build/source/texk/web2c/texmfmp.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/texmfmp.h b/Build/source/texk/web2c/texmfmp.h index 1dd7c56d019..5aead37b11d 100644 --- a/Build/source/texk/web2c/texmfmp.h +++ b/Build/source/texk/web2c/texmfmp.h @@ -126,8 +126,10 @@ extern void pdftex_fail(const char *fmt, ...); #endif extern char start_time_str[]; extern void initstarttime(void); +#if !defined(XeTeX) extern char *makecstring(integer s); extern char *makecfilename(integer s); +#endif /* !XeTeX */ extern void getcreationdate(void); extern void getfilemoddate(integer s); extern void getfilesize(integer s); |