From 79e1b25c6c10f5a12b607d201bcddc3b1d98d999 Mon Sep 17 00:00:00 2001
From: Oliver Schmidt <ol.sc@web.de>
Date: Sun, 16 Oct 2016 13:47:31 +0200
Subject: [PATCH] Removed DEL as suggested by Greg.

---
 test/Makefile | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/test/Makefile b/test/Makefile
index f0d63f689..4817e70e0 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -11,12 +11,10 @@ endif
 
 ifdef CMD_EXE
   EXE := .exe
-  DEL = -del /f $(subst /,\,$1)
   MKDIR = mkdir $(subst /,\,$1)
   RMDIR = -rmdir /s /q $(subst /,\,$1)
 else
   EXE :=
-  DEL = $(RM) $1
   MKDIR = mkdir $1
   RMDIR = $(RM) -r $1
 endif
@@ -54,5 +52,4 @@ mostlyclean:
 	@$(MAKE) -C misc clean
 
 clean: mostlyclean
-	@$(call DEL,$(WORKDIR)/bdiff$(EXE))
 	@$(call RMDIR,$(WORKDIR))
-- 
2.39.5