summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAkira Kakuto <kakuto@fuk.kindai.ac.jp>2014-05-05 17:09:21 +0000
committerAkira Kakuto <kakuto@fuk.kindai.ac.jp>2014-05-05 17:09:21 +0000
commite77fd9552e74e2973fd639e6717a2c443b35edb4 (patch)
tree68a9fe338d36b2b3704e7a6ae6b3e0f3178c824d
parent4fcb155818f7c1034ef96c8cd9164f3d5b7b1944 (diff)
update eptexextra.c and euptexextra.c
git-svn-id: svn://tug.org/texlive/trunk@33848 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r--Build/source/texk/web2c/eptexdir/eptexextra.c6
-rw-r--r--Build/source/texk/web2c/euptexdir/euptexextra.c6
2 files changed, 6 insertions, 6 deletions
diff --git a/Build/source/texk/web2c/eptexdir/eptexextra.c b/Build/source/texk/web2c/eptexdir/eptexextra.c
index 9beef1443fb..22a72b9fad9 100644
--- a/Build/source/texk/web2c/eptexdir/eptexextra.c
+++ b/Build/source/texk/web2c/eptexdir/eptexextra.c
@@ -39,12 +39,12 @@ void getfiledump(int s, int offset, int length)
/* read file data */
f = fopen(file_name, FOPEN_RBIN_MODE);
if (f == NULL) {
- free(file_name);
+ xfree(file_name);
return;
}
recorder_record_input(file_name);
if (fseek(f, offset, SEEK_SET) != 0) {
- free(file_name);
+ xfree(file_name);
return;
}
/* there is enough space in the string pool, the read
@@ -63,5 +63,5 @@ void getfiledump(int s, int offset, int length)
check_nprintf(i, 3);
poolptr += i;
}
- free(file_name);
+ xfree(file_name);
}
diff --git a/Build/source/texk/web2c/euptexdir/euptexextra.c b/Build/source/texk/web2c/euptexdir/euptexextra.c
index d0c1b8d0af9..64781efff0b 100644
--- a/Build/source/texk/web2c/euptexdir/euptexextra.c
+++ b/Build/source/texk/web2c/euptexdir/euptexextra.c
@@ -39,12 +39,12 @@ void getfiledump(int s, int offset, int length)
/* read file data */
f = fopen(file_name, FOPEN_RBIN_MODE);
if (f == NULL) {
- free(file_name);
+ xfree(file_name);
return;
}
recorder_record_input(file_name);
if (fseek(f, offset, SEEK_SET) != 0) {
- free(file_name);
+ xfree(file_name);
return;
}
/* there is enough space in the string pool, the read
@@ -63,5 +63,5 @@ void getfiledump(int s, int offset, int length)
check_nprintf(i, 3);
poolptr += i;
}
- free(file_name);
+ xfree(file_name);
}