diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2023-05-04 18:49:58 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-05-04 18:51:20 +0200 |
| commit | 5aa1f3aa4a883271e183f1dd0497aff41e18144e (patch) | |
| tree | e24430f2136f0e842aa638af93dba6a0a53e6c91 /Makefile.am | |
| parent | d0a6c110792d8eecfef220c2590e8615ac19eca8 (diff) | |
build: Do not fail when '.git' is missing.
This is a followup to a5d719012e0f5115aa89b767edc1fe1a3505915c.
* Makefile.am (.git/hooks/pre-push): Add dash.
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 3e4fb90a687..b71109ca180 100644 --- a/Makefile.am +++ b/Makefile.am | |||
| @@ -1115,7 +1115,7 @@ cuirass-jobs: $(GOBJECTS) | |||
| 1115 | 1115 | ||
| 1116 | # Git auto-configuration. | 1116 | # Git auto-configuration. |
| 1117 | .git/hooks/pre-push: etc/git/pre-push | 1117 | .git/hooks/pre-push: etc/git/pre-push |
| 1118 | cp etc/git/pre-push .git/hooks/pre-push | 1118 | -cp etc/git/pre-push .git/hooks/pre-push |
| 1119 | 1119 | ||
| 1120 | .git/config: etc/git/gitconfig | 1120 | .git/config: etc/git/gitconfig |
| 1121 | -git config include.path ../etc/git/gitconfig | 1121 | -git config include.path ../etc/git/gitconfig |