diff options
author | Nobuyoshi Nakada <nobu@ruby-lang.org> | 2019-08-11 15:42:16 +0900 |
---|---|---|
committer | Nobuyoshi Nakada <nobu@ruby-lang.org> | 2019-08-11 15:47:39 +0900 |
commit | 51d9d0f8887820ce52234c80d78388b002e6e628 (patch) | |
tree | 8626b05709820ccba8e73e92f71dbae09e2fd66f /defs/gmake.mk | |
parent | 1c7eadf75447f10b62e6a93a9c0a90b01bf126e1 (diff) |
Use already fetched pull request [ci skip]
Notes
Notes:
Merged: https://github.com/ruby/ruby/pull/2338
Diffstat (limited to 'defs/gmake.mk')
-rw-r--r-- | defs/gmake.mk | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/defs/gmake.mk b/defs/gmake.mk index 358916e32f..2a11d457d6 100644 --- a/defs/gmake.mk +++ b/defs/gmake.mk @@ -177,7 +177,10 @@ define fetch-github git -C "$(srcdir)" remote add github $(GITHUB_RUBY_URL); \ $(eval REMOTE_GITHUB_URL := $(GITHUB_RUBY_URL)) \ ) - git -C "$(srcdir)" fetch -f github "pull/$(1)/head:gh-$(1)" + $(if $(git -C "$(srcdir)" log -1 --oneline "github/pull/$(1)/head" 2> /dev/null), \ + git -C "$(srcdir)" branch -f "gh-$(1)" "github/pull/$(1)/head", \ + git -C "$(srcdir)" fetch -f github "pull/$(1)/head:gh-$(1)" \ + ) endef .PHONY: checkout-github |