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

Christian Jaeger chrjae at gmail.com
Fri Apr 30 10:54:15 EDT 2010


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:
-- 
1.7.0.3




More information about the Gambit-list mailing list