summaryrefslogtreecommitdiff
path: root/Master/bin/x86_64-linux/fmtutil
diff options
context:
space:
mode:
authorReinhard Kotucha <reinhard.kotucha@web.de>2007-01-15 22:58:11 +0000
committerReinhard Kotucha <reinhard.kotucha@web.de>2007-01-15 22:58:11 +0000
commit25e1fd2e489a9ca77fe1556df830dce49baf1018 (patch)
tree59967716aadb11ce3e29657baa574a88d05f3ca9 /Master/bin/x86_64-linux/fmtutil
parentf7d35297531a982953ef79eb525258d0e7ecf4da (diff)
New binaries for x86_64-linux based on rev. 3512.
git-svn-id: svn://tug.org/texlive/trunk@3513 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/x86_64-linux/fmtutil')
-rwxr-xr-xMaster/bin/x86_64-linux/fmtutil1
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/bin/x86_64-linux/fmtutil b/Master/bin/x86_64-linux/fmtutil
index ae04f067201..47d3af7247a 100755
--- a/Master/bin/x86_64-linux/fmtutil
+++ b/Master/bin/x86_64-linux/fmtutil
@@ -96,6 +96,7 @@ export PATH
cleanup()
{
rc=$1
+ # for debugging, exit $rc here so $tmpdir with its logs sticks around.
$needsCleanup && test -n "$tmpdir" && test -d "$tmpdir" \
&& { cd / && rm -rf "$tmpdir"; }
(exit $rc); exit $rc