diff options
author | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2014-05-05 17:09:21 +0000 |
---|---|---|
committer | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2014-05-05 17:09:21 +0000 |
commit | e77fd9552e74e2973fd639e6717a2c443b35edb4 (patch) | |
tree | 68a9fe338d36b2b3704e7a6ae6b3e0f3178c824d | |
parent | 4fcb155818f7c1034ef96c8cd9164f3d5b7b1944 (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.c | 6 | ||||
-rw-r--r-- | Build/source/texk/web2c/euptexdir/euptexextra.c | 6 |
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); } |