diff options
author | eschnett <eschnett@83718e91-0e4f-0410-abf4-91180603181f> | 2011-11-14 15:06:17 +0000 |
---|---|---|
committer | eschnett <eschnett@83718e91-0e4f-0410-abf4-91180603181f> | 2011-11-14 15:06:17 +0000 |
commit | b379fef2660ff2add91076f7c74e3f29e0fa9b1a (patch) | |
tree | faff89db1427493c286620761d6f0b3ff9b5b9d8 /src/make.configuration.deps | |
parent | 6345342a5de31761b11e1c880f6ec72a97d70c1b (diff) |
Support a "local repository" that collects all machine-local repositories
Support a "local git repository" that collects all machine-local git
repositories. This is stored in sourcebasedir, which is taken from
Simfactory's MDB.
git-svn-id: http://svn.cactuscode.org/arrangements/CactusUtils/Formaline/trunk@214 83718e91-0e4f-0410-abf4-91180603181f
Diffstat (limited to 'src/make.configuration.deps')
-rw-r--r-- | src/make.configuration.deps | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/make.configuration.deps b/src/make.configuration.deps index ba81ac3..4ccfd1f 100644 --- a/src/make.configuration.deps +++ b/src/make.configuration.deps @@ -318,10 +318,11 @@ CONFIG-ID-FILE = $(TOP)/CONFIG-ID git-push-everything: git-commit-everything $(BUILD-ID-FILE) { \ '$(GIT-BIN)/git-init-master-repo.pl' '$(GIT)' '$(GIT-MASTER-REPO)' && \ + eval "$$('$(GIT-BIN)/git-get-localdir.pl' '$(GIT)')" && \ if [ -e "$(CCTK_HOME)/cactus.config" ]; then \ - . "$(CCTK_HOME)/cactus.config"; \ + source "$(CCTK_HOME)/cactus.config"; \ fi && \ - export CACTUS_CENTRAL_GIT_REPO && \ + export CACTUS_LOCAL_GIT_REPO CACTUS_CENTRAL_GIT_REPO && \ '$(GIT-BIN)/git-push-everything.pl' '$(GIT)' '$(GIT-REPO)' '$(GIT-MASTER-REPO)'; \ } || echo "Formaline: WARNING: Error while pushing to master repository" |