diff options
-rw-r--r-- | Build/source/texk/web2c/lib/texmfmp.c | 4 |
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) { |