Avoid path separator problems.

1999-07-29 17:27:29 +00:00 · 1999-07-29 17:27:29 +00:00 · 4320afe3be
commit 4320afe3be
parent fd556cbfb6
1 changed files with 1 additions and 1 deletions
--- 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