diff options
Diffstat (limited to 'Build/source/texk/dvipsk/output.c')
| -rw-r--r-- | Build/source/texk/dvipsk/output.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/dvipsk/output.c b/Build/source/texk/dvipsk/output.c index 632e5910ee1..650323a372c 100644 --- a/Build/source/texk/dvipsk/output.c +++ b/Build/source/texk/dvipsk/output.c @@ -252,7 +252,7 @@ copyfile_general(const char *s, struct header_list *cur_header) #if defined(VMCMS) || defined (MVSXA) fprintf(stderr, "<%s>", trunc_s); #else - fprintf(stderr, "<%s>", realnameoffile); + fprintf_str(stderr, "<%s>", realnameoffile); #endif fflush(stderr); #if defined(VMCMS) || defined (MVSXA) |