Skip to content

Commit 833e5da

Browse files
committed
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)
1 parent 1c29943 commit 833e5da

2 files changed

Lines changed: 10 additions & 2 deletions

File tree

src/tee/Makefile

Lines changed: 8 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,13 +3,19 @@
33
CC=gcc
44
CFLAGS=-O2 -fno-strength-reduce
55

6+
ifneq (sh.exe, $(SHELL))
7+
DEL = rm
8+
else
9+
DEL = del
10+
endif
11+
612
tee.exe: tee.o
713
$(CC) $(CFLAGS) -s -o $@ $<
814

915
tee.o: tee.c
1016
$(CC) $(CFLAGS) -c $<
1117

1218
clean:
13-
- del tee.o
14-
- del tee.exe
19+
- $(DEL) tee.o
20+
- $(DEL) tee.exe
1521

src/version.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -792,6 +792,8 @@ static char *(features[]) =
792792

793793
static int included_patches[] =
794794
{ /* Add new patch number below this line */
795+
/**/
796+
500,
795797
/**/
796798
499,
797799
/**/

0 commit comments

Comments
 (0)