mirror of
https://github.com/pre-commit/pre-commit.git
synced 2026-02-19 00:54:42 +04:00
Merge pull request #428 from pre-commit/fix_latest_git
Fix latest-git.sh
This commit is contained in:
commit
4f73a74378
2 changed files with 3 additions and 2 deletions
|
|
@ -19,7 +19,7 @@ before_install:
|
||||||
- |
|
- |
|
||||||
if [ "$LATEST_GIT" = "1" ]; then
|
if [ "$LATEST_GIT" = "1" ]; then
|
||||||
./latest-git.sh
|
./latest-git.sh
|
||||||
export PATH="/tmp/git:$PATH"
|
export PATH="/tmp/git/bin:$PATH"
|
||||||
fi
|
fi
|
||||||
- git --version
|
- git --version
|
||||||
after_success:
|
after_success:
|
||||||
|
|
|
||||||
|
|
@ -3,5 +3,6 @@
|
||||||
set -ex
|
set -ex
|
||||||
git clone git://github.com/git/git --depth 1 /tmp/git
|
git clone git://github.com/git/git --depth 1 /tmp/git
|
||||||
pushd /tmp/git
|
pushd /tmp/git
|
||||||
make -j 8
|
make prefix=/tmp/git -j 8 all
|
||||||
|
make prefix=/tmp/git install
|
||||||
popd
|
popd
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue