[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