diff options
| -rw-r--r-- | Makefile.inc | 2 | ||||
| -rwxr-xr-x | util/gitconfig/pre-commit | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.inc b/Makefile.inc index d0a292c187..c1e7defb42 100644 --- a/Makefile.inc +++ b/Makefile.inc @@ -418,7 +418,7 @@ gitconfig: for hook in commit-msg pre-commit ; do \ if [ util/gitconfig/$$hook -nt .git/hooks/$$hook -o \ ! -x .git/hooks/$$hook ]; then \ - cp util/gitconfig/$$hook .git/hooks/$$hook; \ + sed -e "s,%MAKE%,$(MAKE),g" util/gitconfig/$$hook > .git/hooks/$$hook; \ chmod +x .git/hooks/$$hook; \ fi; \ done diff --git a/util/gitconfig/pre-commit b/util/gitconfig/pre-commit index 8ab3e5604e..ccf78d376c 100755 --- a/util/gitconfig/pre-commit +++ b/util/gitconfig/pre-commit @@ -1,2 +1,2 @@ #!/bin/sh -exec make lint-stable +exec %MAKE% lint-stable |