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 043a3a53ee29dbda2ca5bb2048073a1dad302fe7..4bee638c4a6a0406b8d27f7b8a0977b9cf68d55d 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";
        }