diff options
Diffstat (limited to 'util/pl/Mingw32.pl')
| -rw-r--r-- | util/pl/Mingw32.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/pl/Mingw32.pl b/util/pl/Mingw32.pl index c9da4e37d8..01e23ad881 100644 --- 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 |