patch 8.1.0500: cleaning up in src/tee may not always workv8.1.0500

Problem:    Cleaning up in src/tee may not always work.
Solution:   Use "rm" when appropriate. (Michael Soyka, closes #3571)

2 files changed, 10 insertions, 2 deletions

diff --git a/src/tee/Makefile b/src/tee/Makefile
index 12c43d510..7419913cc 100644
--- a/src/tee/Makefile
+++ b/src/tee/Makefile
@@ -3,6 +3,12 @@
 CC=gcc
 CFLAGS=-O2 -fno-strength-reduce
 
+ifneq (sh.exe, $(SHELL))
+DEL = rm
+else
+DEL = del
+endif
+
 tee.exe: tee.o
 	$(CC) $(CFLAGS) -s -o $@ $<
 
@@ -10,6 +16,6 @@ tee.o: tee.c
 	$(CC) $(CFLAGS) -c $<
 
 clean:
-	- del tee.o
-	- del tee.exe
+	- $(DEL) tee.o
+	- $(DEL) tee.exe
 
diff --git a/src/version.c b/src/version.c
index b1aa8aa43..9d700e2ba 100644
--- a/src/version.c
+++ b/src/version.c
@@ -793,6 +793,8 @@ static char *(features[]) =
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    500,
+/**/
     499,
 /**/
     498,