diff options
-rw-r--r-- | Master/tlpkg/TeXLive/TLUtils.pm | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Master/tlpkg/TeXLive/TLUtils.pm b/Master/tlpkg/TeXLive/TLUtils.pm index 575ea5733d7..f9ac750477d 100644 --- a/Master/tlpkg/TeXLive/TLUtils.pm +++ b/Master/tlpkg/TeXLive/TLUtils.pm @@ -2704,7 +2704,9 @@ sub check_for_old_updmap_cfg { to $nn\n"; if (rename("$tmfsysconf/web2c/updmap.cfg", $nn)) { - system("mktexlsr",$tmfsysconf); + if (system("mktexlsr",$tmfsysconf) != 0) { + die "mktexlsr failed after updmap.cfg rename, fix fix fix: $!"; + } } else { print STDERR " Renaming did not succeed, note that |