diff options
| author | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2014-07-23 12:36:34 +0000 |
|---|---|---|
| committer | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2014-07-23 12:36:34 +0000 |
| commit | f8ea78ef6977b4465f488666aa51d7de88c65c6e (patch) | |
| tree | cabe885b00fc3829d571fc6966e59530f21bd5f3 /Build/source/texk/web2c | |
| parent | 4e2789eb96f557d516af589b7f576007ba88396e (diff) | |
Support of short-file-name-convention is incompatible with --src-specials (w32 only)
git-svn-id: svn://tug.org/texlive/trunk@34699 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c')
| -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) { |