gcc-wwwdocs branch master updated. 0a30539bc831d9f59b3a285ec9d37caa8b7c340b

gcc-wwwdocs branch master updated. 0a30539bc831d9f59b3a285ec9d37caa8b7c340b

[jsm28]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gcc-wwwdocs".

The branch, master has been updated
       via  0a30539bc831d9f59b3a285ec9d37caa8b7c340b (commit)
      from  2236b153b573964f96b7217c6191941f303e1c94 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 0a30539bc831d9f59b3a285ec9d37caa8b7c340b
Author: Joseph Myers <joseph@codesourcery.com>
Date:   Sat Jan 11 21:07:53 2020 +0000

    Set umask and remove files before copying over them.
    
    Trying to avoid reported permissions problems with updates in some
    cases.

diff --git a/bin/post-receive b/bin/post-receive
index 1114efc..96c5129 100755
--- a/bin/post-receive
+++ b/bin/post-receive
@@ -23,6 +23,7 @@ cat > "$tmp"
 /sourceware/libre/infra/bin/post-receive-email < "$tmp"
 
 # Update web page checkouts, if applicable.
+umask 002
 while read old_value new_value ref_name; do
     if [ "$ref_name" != "refs/heads/master" ]; then
 	continue
diff --git a/bin/preprocess b/bin/preprocess
index 56f8383..c62ba45 100755
--- a/bin/preprocess
+++ b/bin/preprocess
@@ -143,6 +143,7 @@ process_html_file()
              $TMPDIR/output $fdest >/dev/null
         if [ $? -ne 0 ]; then
             echo "  Updating $fdest"
+            rm -f "$fdest"
             cp $TMPDIR/output $fdest
         fi
     fi

-----------------------------------------------------------------------

Summary of changes:
 bin/post-receive | 1 +
 bin/preprocess   | 1 +
 2 files changed, 2 insertions(+)


hooks/post-receive
-- 
gcc-wwwdocs