build: Do not fail when 'git' is missing.

This is a followup to 8b972da068.

* Makefile.am (.git/config): Add dash.
This commit is contained in:
Ludovic Courtès 2023-05-04 18:40:49 +02:00
parent f14d3944cc
commit a5d719012e
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5
1 changed files with 1 additions and 1 deletions

View File

@ -1118,7 +1118,7 @@ cuirass-jobs: $(GOBJECTS)
cp etc/git/pre-push .git/hooks/pre-push
.git/config: etc/git/gitconfig
git config include.path ../etc/git/gitconfig
-git config include.path ../etc/git/gitconfig
nodist_noinst_DATA = .git/hooks/pre-push .git/config