summaryrefslogtreecommitdiff
path: root/Build/source/texk/dvipsk/header.c
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/dvipsk/header.c')
-rw-r--r--Build/source/texk/dvipsk/header.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/dvipsk/header.c b/Build/source/texk/dvipsk/header.c
index 771041db2d4..31b03e3be18 100644
--- a/Build/source/texk/dvipsk/header.c
+++ b/Build/source/texk/dvipsk/header.c
@@ -101,7 +101,7 @@ checkhmem(const char *s, char *pre, char *post)
(*close_file) (f);
#ifdef DEBUG
if (dd(D_HEADER))
- fprintf(stderr, "Adding header file \"%s\" %ld\n",
+ fprintf_str(stderr, "Adding header file \"%s\" %ld\n",
s, mem);
#endif
fontmem -= mem;
@@ -168,7 +168,7 @@ send_headers(void) {
while (0 != (q=get_name(&p))) {
#ifdef DEBUG
if (dd(D_HEADER))
- fprintf(stderr, "Sending header file \"%s\"\n", q);
+ fprintf_str(stderr, "Sending header file \"%s\"\n", q);
#endif
#ifdef HPS
if (HPS_FLAG) {