diff options
author | Nobuyoshi Nakada <nobu@ruby-lang.org> | 2019-08-16 02:08:40 +0900 |
---|---|---|
committer | Nobuyoshi Nakada <nobu@ruby-lang.org> | 2019-08-16 10:25:27 +0900 |
commit | 64bffddda1d57072a7879dfab9e5bc0286c1395d (patch) | |
tree | 9240ab4a3ea5195f98b15d4230a871d0ba7b137f /defs | |
parent | 12074ad01c02b4a6912fff64d69b659351bdf9e8 (diff) |
exit accepts true and false [ci skip]
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 d234791d13..c76c2549ca 100644 --- a/defs/gmake.mk +++ b/defs/gmake.mk @@ -202,7 +202,7 @@ update-github: fetch-github $(eval GITHUB_UPDATE_WORKTREE := $(shell mktemp -d "$(srcdir)/gh-$(PR)-XXXXXX")) git -C "$(srcdir)" worktree add $(notdir $(GITHUB_UPDATE_WORKTREE)) "gh-$(PR)" git -C "$(GITHUB_UPDATE_WORKTREE)" merge master --no-edit - @$(BASERUBY) -e 'print "Are you sure to push this to PR=$(PR)? [Y/n]: "; exit(gets.chomp == "n" ? 1 : 0)' + @$(BASERUBY) -e 'print "Are you sure to push this to PR=$(PR)? [Y/n]: "; exit(gets.chomp != "n")' git -C "$(srcdir)" remote add fork-$(PR) git@github.com:$(FORK_REPO).git git -C "$(GITHUB_UPDATE_WORKTREE)" push fork-$(PR) gh-$(PR):$(PR_BRANCH) git -C "$(srcdir)" remote rm fork-$(PR) |