From: "Maintainer: Debian Science Maintainers"
 <debian-science-maintainers@lists.alioth.debian.org>
Date: Sun, 19 Dec 2021 10:34:32 +0100
Subject: Make rm

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

diff --git a/makefile b/makefile
index b0c4f56..59d0331 100644
--- a/makefile
+++ b/makefile
@@ -90,7 +90,7 @@ TRILIBDEFS = -DTRILIBRARY
 
 # RM should be set to the name of your favorite rm (file deletion program).
 
-RM = /bin/rm
+RM = /bin/rm -f
 
 # The action starts here.