Makefile.am: Use --add flag to "git config".

Without the "--add" flag to "git config include.path ...", the command fails
if the user already has a configuration entry of "include.path".

Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
This commit is contained in:
Mekeor Melire 2023-05-07 10:43:41 +00:00 committed by Maxim Cournoyer
parent 8b855dc1f4
commit 7f8575c97a
No known key found for this signature in database
GPG key ID: 1260E46482E63562

View file

@ -1121,7 +1121,7 @@ cuirass-jobs: $(GOBJECTS)
.git/config: etc/git/gitconfig
$(AM_V_at)if command -v git >/dev/null && test -d .git; then \
git config include.path ../etc/git/gitconfig; \
git config --add include.path ../etc/git/gitconfig; \
fi
nodist_noinst_DATA = .git/hooks/pre-push .git/config