From 8fdf586f1b1cca32415541207c49428954a907cc Mon Sep 17 00:00:00 2001
From: Paul Galbraith <paul.d.galbraith@gmail.com>
Date: Tue, 24 Nov 2020 19:22:11 -0500
Subject: [PATCH] Fix for #1970

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 0ab757d4..c4de9b3f 100644
--- a/Makefile
+++ b/Makefile
@@ -287,7 +287,7 @@ $(VT52):
 	$(MAKE) -C tools/vt05 vt52
 
 tek-hack:
-	rm $(TEK)
+	rm -f $(TEK)
 
 $(TEK): tek-hack
 	$(MAKE) -C tools/tek4010 tek4010