patch 8.1.0500: cleaning up in src/tee may not always work
Problem: Cleaning up in src/tee may not always work.
Solution: Use "rm" when appropriate. (Michael Soyka, closes #3571)
diff --git a/src/tee/Makefile b/src/tee/Makefile
index 12c43d5..7419913 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 @@
$(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 b1aa8aa..9d700e2 100644
--- a/src/version.c
+++ b/src/version.c
@@ -793,6 +793,8 @@
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
+ 500,
+/**/
499,
/**/
498,