1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
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.
|
