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/lua | |
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/lua')
-rw-r--r-- | Build/source/texk/web2c/luatexdir/lua/luainit.w | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/luatexdir/lua/luainit.w b/Build/source/texk/web2c/luatexdir/lua/luainit.w index f61bc0b79c3..aef829a0cb9 100644 --- a/Build/source/texk/web2c/luatexdir/lua/luainit.w +++ b/Build/source/texk/web2c/luatexdir/lua/luainit.w @@ -457,7 +457,18 @@ static void init_kpse(void) } if (!user_progname) { if (ini_version) { - user_progname = input_name; + if (input_name) { + char *p = input_name + strlen(input_name) - 1; + while (p >= input_name) { + if (IS_DIR_SEP (*p)) { + p++; + input_name = p; + break; + } + p--; + } + user_progname = remove_suffix (input_name); + } if (!user_progname) { user_progname = cleaned_invocation_name(argv[0]); } |