diff options
Diffstat (limited to 'util/pl/Mingw32.pl')
| -rw-r--r-- | util/pl/Mingw32.pl | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/util/pl/Mingw32.pl b/util/pl/Mingw32.pl index f99b015aba..a47a961c27 100644 --- a/util/pl/Mingw32.pl +++ b/util/pl/Mingw32.pl @@ -1,12 +1,11 @@ #!/usr/local/bin/perl # -# unix.pl - the standard unix makefile stuff. +# Mingw32.pl -- Mingw32 with GNU cp (Mingw32f.pl uses DOS tools) # -# Need the Cygwin32 file utilities $o='/'; $cp='cp'; -$rm='rm'; +$rm='del'; # use 'rm -f' if using GNU file utilities $mkdir='gmkdir'; # gcc wouldn't accept backslashes in paths |