diff options
Diffstat (limited to 'hadrian')
| -rw-r--r-- | hadrian/bindist/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/hadrian/bindist/Makefile b/hadrian/bindist/Makefile index 9bf9ad119f..5159558c5f 100644 --- a/hadrian/bindist/Makefile +++ b/hadrian/bindist/Makefile @@ -46,6 +46,8 @@ define patchpackageconf \ ((echo "$1" | grep rts) && (cat '$2.copy' | sed 's|haddock-.*||' > '$2.copy.copy')) || (cat '$2.copy' > '$2.copy.copy') # We finally replace the original file. mv '$2.copy.copy' '$2' + # Fix the mode, in case umask is set + chmod 644 '$2' endef # QUESTION : should we use shell commands? |