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 | |
| parent | d0a6c110792d8eecfef220c2590e8615ac19eca8 (diff) | |
| download | guix-5aa1f3aa4a883271e183f1dd0497aff41e18144e.tar.gz | |
build: Do not fail when '.git' is missing.
This is a followup to a5d719012e0f5115aa89b767edc1fe1a3505915c. * Makefile.am (.git/hooks/pre-push): Add dash.
| -rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 3e4fb90a68..b71109ca18 100644 --- a/Makefile.am +++ b/Makefile.am @@ -1115,7 +1115,7 @@ cuirass-jobs: $(GOBJECTS) # Git auto-configuration. .git/hooks/pre-push: etc/git/pre-push - cp etc/git/pre-push .git/hooks/pre-push + -cp etc/git/pre-push .git/hooks/pre-push .git/config: etc/git/gitconfig -git config include.path ../etc/git/gitconfig |