diff options
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/tlpkg/bin/check-tlnet-consistency | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/check-tlnet-consistency b/Master/tlpkg/bin/check-tlnet-consistency index 6a9bcef09c1..13d50a9da86 100755 --- a/Master/tlpkg/bin/check-tlnet-consistency +++ b/Master/tlpkg/bin/check-tlnet-consistency @@ -88,6 +88,8 @@ sub main unlink("$temp/tlpkg/tlpobj/$pkg.tlpobj"); } } + system("rmdir --ignore-fail-on-non-empty $temp/tlpkg/tlpobj"); + system("rmdir --ignore-fail-on-non-empty $temp/tlpkg"); system("rmdir --ignore-fail-on-non-empty $temp"); if (@notlpobj) { print "packages without containing tlpobj file:\n"; |