summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Build/source/texk/web2c/lib/texmfmp.c4
1 files changed, 3 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/lib/texmfmp.c b/Build/source/texk/web2c/lib/texmfmp.c
index 564a964db20..5bd5627cc61 100644
--- a/Build/source/texk/web2c/lib/texmfmp.c
+++ b/Build/source/texk/web2c/lib/texmfmp.c
@@ -622,7 +622,9 @@ const char *ptexbanner = BANNER;
/* forward declaration */
static string
normalize_quotes (const_string name, const_string mesg);
-
+#ifndef TeX
+int srcspecialsp = 0;
+#endif
/* Support of 8.3-name convention. If *buffer == NULL, nothing is done. */
static void change_to_long_name (char **buffer)
{