diff options
Diffstat (limited to 'defs')
| -rw-r--r-- | defs/gmake.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/defs/gmake.mk b/defs/gmake.mk index 5b6c627930..b681c7234c 100644 --- a/defs/gmake.mk +++ b/defs/gmake.mk @@ -177,7 +177,7 @@ define fetch-github git -C "$(srcdir)" remote add github $(GITHUB_RUBY_URL); \ $(eval REMOTE_GITHUB_URL := $(GITHUB_RUBY_URL)) \ ) - $(if $(git -C "$(srcdir)" log -1 --oneline "github/pull/$(1)/head" 2> /dev/null), \ + $(if $(git -C "$(srcdir)" rev-parse "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)" \ ) |