diff options
| author | Maxim Cournoyer <maxim@guixotic.coop> | 2026-05-29 11:45:34 +0900 |
|---|---|---|
| committer | Maxim Cournoyer <maxim@guixotic.coop> | 2026-05-29 11:52:12 +0900 |
| commit | dc64ec527c2f5056d28cfef246769e68dcedea2a (patch) | |
| tree | 26f33d1d6c1ba8cdf3b42261e41b85ecb6a3a137 /doc | |
| parent | 9873d2c433b7dc8e2d510fc437c5b13c98d0a4ff (diff) | |
build: Ensure the installed pre-push git hook matches its source.
* Makefile.am ($(GIT_HOOKS_DIR)/pre-push): Make a phony target, and copy file
when the target differs from its prerequisite.
Fixes: #7645
Reported-by: Gábor Udvari <mail@gaborudvari.com>
Change-Id: I6b5f677afe59c25a4d8905da814af4bbd91fb401
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions