diff options
author | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2011-05-09 11:04:19 +0000 |
---|---|---|
committer | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2011-05-09 11:04:19 +0000 |
commit | 8d2133d58a3c2ea1adedc7e12350506fb3a1b199 (patch) | |
tree | 353e0c73f390fb4d4d9e810e40d0955c2959493e /Build/source/texk/web2c/luatexdir/tex | |
parent | c480472da1f8567417f7bb083ec6047b23c5db9f (diff) |
luainit.w and texfileio.w: fix output_directory problem for recorder.
git-svn-id: svn://tug.org/texlive/trunk@22374 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/tex')
-rw-r--r-- | Build/source/texk/web2c/luatexdir/tex/texfileio.w | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/Build/source/texk/web2c/luatexdir/tex/texfileio.w b/Build/source/texk/web2c/luatexdir/tex/texfileio.w index 92fbbe230bc..c26647e03d9 100644 --- a/Build/source/texk/web2c/luatexdir/tex/texfileio.w +++ b/Build/source/texk/web2c/luatexdir/tex/texfileio.w @@ -784,17 +784,6 @@ except of course for a short time just after |job_name| has become nonzero. @c unsigned char *texmf_log_name; /* full name of the log file */ -static void set_recorder_filename(char *filename) { - if (output_directory) { - filename = concat3(output_directory, DIR_SEP_STRING, filename); - recorder_change_filename(filename); - free(filename); - } else { - recorder_change_filename(filename); - } -} - - @ The |open_log_file| routine is used to open the transcript file and to help it catch up to what has previously been printed on the terminal. @@ -809,7 +798,7 @@ void open_log_file(void) if (job_name == 0) job_name = getjobname(maketexstring("texput")); /* TODO */ fn = pack_job_name(".fls"); - set_recorder_filename(fn); + recorder_change_filename(fn); fn = pack_job_name(".log"); while (!lua_a_open_out(&log_file, fn, 0)) { /* Try to get a different log file name */ |