diff options
-rwxr-xr-x | Master/tlpkg/bin/tlpdb2updmap | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/tlpdb2updmap b/Master/tlpkg/bin/tlpdb2updmap index 8bdac0d4c5f..c7e1093774a 100755 --- a/Master/tlpkg/bin/tlpdb2updmap +++ b/Master/tlpkg/bin/tlpdb2updmap @@ -104,6 +104,11 @@ sub update_updmap_cfg # show differences. print `diff $UPDMAP_CFG $new_updmap_cfg`; + my $ret = $?; + if ($ret == 0) { + unlink ($new_updmap_cfg) || die "unlink($new_updmap_cfg) failed: $!"; + } + return $?; } |