Only remove old files if they exist. [Maing32].

Notified by Michael Gerdau <mgd@technosis.de>

diff --git a/util/pl/Mingw32.pl b/util/pl/Mingw32.pl
index d0472df2781accd084b2442f85ff7cf972c26c9a..b76b7afd27d8e4ba4b69140069f80ed1b205ae17 100644 (file)
--- a/util/pl/Mingw32.pl
+++ b/util/pl/Mingw32.pl
@@ -85,7 +85,7 @@ sub do_lib_rule
        ($Name=$name) =~ tr/a-z/A-Z/;
 
        $ret.="$target: \$(${Name}OBJ)\n";
-       $ret.="\t\$(RM) $target\n";
+       $ret.="\tif exist $target \$(RM) $target\n";
        $ret.="\t\$(MKLIB) $target \$(${Name}OBJ)\n";
        $ret.="\t\$(RANLIB) $target\n\n";
        }