From 4320afe3bec914238ae4201279d4abefc69998ae Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ulf=20M=C3=B6ller?= Date: Thu, 29 Jul 1999 17:27:29 +0000 Subject: [PATCH] Avoid path separator problems. --- util/pl/Mingw32.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/util/pl/Mingw32.pl b/util/pl/Mingw32.pl index 01e23ad881..84c2a22db3 100644 --- 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 -- GitLab