Avoid path separator problems.

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