From 9e7d80c2c44199126fa451c59fca0f98d23ad14d Mon Sep 17 00:00:00 2001
From: James R <justsomejames2@gmail.com>
Date: Fri, 7 May 2021 16:08:24 -0700
Subject: [PATCH] Makefile: suppress DEL error

---
 src/Makefile.d/platform.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Makefile.d/platform.mk b/src/Makefile.d/platform.mk
index f134888232..531d073e91 100644
--- a/src/Makefile.d/platform.mk
+++ b/src/Makefile.d/platform.mk
@@ -5,7 +5,7 @@
 PKG_CONFIG?=pkg-config
 
 ifdef WINDOWSHELL
-rmrf=2>NUL DEL /S /Q
+rmrf=-2>NUL DEL /S /Q
 mkdir=-2>NUL MD
 else
 rmrf=rm -rf
-- 
GitLab