[gambit-list] [PATCH 2/6] makefile.in: introduce REMOTE variable

This variable specifies the name of the remote which represents the upstream Gambit repository which is to be used for merging.

If this is anything else for the local user than "origin", it can just be overridden by setting the REMOTE environment variable. --- makefile.in | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/makefile.in b/makefile.in index e016607..f331eaa 100644 --- a/makefile.in +++ b/makefile.in @@ -89,6 +89,8 @@ DISTFILES = $(RCFILES) $(GENDISTFILES) GITDISTFILES = $(GITRCFILES) HGDISTFILES = $(HGRCFILES)

+REMOTE ?= origin + .SUFFIXES:

all: