* autogen.sh: Ignore fsck.gitignoreSymlink warnings

1 files changed, 4 insertions, 1 deletions

diff --git a/autogen.sh b/autogen.sh
index b46d1e6c90a..fd5d7cad84d 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -342,6 +342,10 @@ hooks=$git_common_dir/hooks
 
 git_config transfer.fsckObjects true
 
+# The MPS repo from https://github.com/Ravenbrook/mps contained many
+# objects that cause gitignoreSymlink warnings.  Those warnings can be
+# safely ignored.
+git_config fsck.gitignoreSymlink ignore
 
 # Configure 'git diff' hunk header format.
 
@@ -363,7 +367,6 @@ git_config 'diff.shell.xfuncname' \
 git_config diff.texinfo.xfuncname \
            '^@node[[:space:]]+([^,[:space:]][^,]+)'
 
-
 # Install Git hooks.
 
 tailored_hooks=