From 833e5dab143034b7e43bc0be49b2eb3687ff9ab7 Mon Sep 17 00:00:00 2001 From: Bram Moolenaar Date: Sun, 28 Oct 2018 15:43:58 +0100 Subject: [PATCH] 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) --- src/tee/Makefile | 10 ++++++++-- src/version.c | 2 ++ 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 @@ -792,6 +792,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ +/**/ + 500, /**/ 499, /**/ -- 2.40.0