diff --git a/collects/meta/build/build b/collects/meta/build/build index ba8eb16c3d..a7a1f33d3c 100755 --- a/collects/meta/build/build +++ b/collects/meta/build/build @@ -1497,7 +1497,6 @@ tgz_to_tgz() { _tgzip "$tgt.tgz" "$srcdir" _cd "$savedpwd" _rm "$tmpdir/tgz-to-tgz-$$" -fi } #---------------------------------------- tgz_to_sh() {