*** empty log message ***

diff --git a/util/pl/Mingw32.pl b/util/pl/Mingw32.pl
index c9da4e37d8159148491c1880189d098d473f371c..01e23ad88192e3fe3ec196988b8d0f2efd6aed89 100644 (file)
--- a/util/pl/Mingw32.pl
+++ b/util/pl/Mingw32.pl
@@ -5,7 +5,7 @@
 
 $o='/';
 $cp='cp';
-$rm='del'; # use 'rm -f' if using GNU file utilities
+$rm='rm -f';
 $mkdir='gmkdir';
 
 # gcc wouldn't accept backslashes in paths