summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/texmfmp.h
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/texmfmp.h')
-rw-r--r--Build/source/texk/web2c/texmfmp.h3
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/texmfmp.h b/Build/source/texk/web2c/texmfmp.h
index 22dcb099818..58d068a8a34 100644
--- a/Build/source/texk/web2c/texmfmp.h
+++ b/Build/source/texk/web2c/texmfmp.h
@@ -357,9 +357,10 @@ extern void do_undump (char *, int, int, FILE *);
#endif
/* Handle SyncTeX, if requested */
-#if defined(TeX) || defined(eTeX) || defined(pdfTeX) || defined(XeTeX)
+#if defined(TeX)
# if defined(__SyncTeX__)
# include "synctexdir/synctex-common.h"
+extern char *generic_synctex_get_current_name(void);
# endif
#endif