summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/texmf-dist/scripts/texlive/fmtutil.pl14
1 files changed, 11 insertions, 3 deletions
diff --git a/Master/texmf-dist/scripts/texlive/fmtutil.pl b/Master/texmf-dist/scripts/texlive/fmtutil.pl
index f7323d1601f..a5582e42b5f 100755
--- a/Master/texmf-dist/scripts/texlive/fmtutil.pl
+++ b/Master/texmf-dist/scripts/texlive/fmtutil.pl
@@ -9,6 +9,13 @@
#
# History:
# Original shell script (C) 2001 Thomas Esser, public domain
+#
+# TODO
+# not really here:
+# in main texlive, we need to ensure that the texmf-dist/web2c/fmtutil.cnf
+# file consists only of those formats that are actually installed,
+# NOT as of now of all!!
+# We are reading ALL fmtutil.cnf now!
my $TEXMFROOT;
@@ -61,6 +68,7 @@ my $FMT_SUCCESS = 3;
my $FMT_NOTAVAIL = 4;
my $nul = (win32() ? 'nul' : '/dev/null');
+my $sep = (win32() ? ';' : ':');
my @deferred_stderr;
my @deferred_stdout;
@@ -305,11 +313,11 @@ sub callback_build_formats {
# due to KPSE_DOT, we don't search the current directory, so include
# it explicitly for formats that \write and later on \read
- $ENV{'TEXINPUTS'} = "$tmpdir:" . ($ENV{'TEXINPUTS'} ? $ENV{'TEXINPUTS'} : "");
+ $ENV{'TEXINPUTS'} = "$tmpdir$sep" . ($ENV{'TEXINPUTS'} ? $ENV{'TEXINPUTS'} : "");
# for formats that load other formats (e.g., jadetex loads latex.fmt),
# add the current directory to TEXFORMATS, too. Currently unnecessary
# for MFBASES and MPMEMS.
- $ENV{'TEXFORMATS'} = "$tmpdir:" . ($ENV{'TEXFORMATS'} ? $ENV{'TEXFORMATS'} : "");
+ $ENV{'TEXFORMATS'} = "$tmpdir$sep" . ($ENV{'TEXFORMATS'} ? $ENV{'TEXFORMATS'} : "");
#
# switch to temporary directory for format generation
@@ -500,7 +508,7 @@ sub rebuild_one_format {
{
my $texpool = $ENV{'TEXPOOL'};
if ($localpool) {
- $ENV{'TEXPOOL'} = cwd() . ":" . ($texpool ? $texpool : "");
+ $ENV{'TEXPOOL'} = cwd() . $sep . ($texpool ? $texpool : "");
}
# in mktexfmtMode we need to redirect *all* output to stderr