1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
From: Mehdi Dogguy <mehdi@debian.org>
Date: Tue, 3 Jan 2012 15:24:27 +0100
Subject: Disable CHMOD_RO invocations
---
share/Makefile.common | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Index: frama-c/share/Makefile.common
===================================================================
--- frama-c.orig/share/Makefile.common 2022-03-20 01:33:15.983508491 +0100
+++ frama-c/share/Makefile.common 2022-03-20 01:33:15.983508491 +0100
@@ -153,7 +153,7 @@
CAT = cat
CHMOD = chmod
-CHMOD_RO= chmod a-w
+CHMOD_RO= true
CHMOD_RW= sh -c \
'for f in "$$@"; do \
if test -e $$f; then chmod u+w $$f; fi \
|
