diff options
author | eschnett <eschnett@83718e91-0e4f-0410-abf4-91180603181f> | 2011-11-23 20:03:02 +0000 |
---|---|---|
committer | eschnett <eschnett@83718e91-0e4f-0410-abf4-91180603181f> | 2011-11-23 20:03:02 +0000 |
commit | 28981dfe16307f77ce7040f5b93394855610323f (patch) | |
tree | c71628d54960c61cdea910638d388a37e6c754e1 | |
parent | b379fef2660ff2add91076f7c74e3f29e0fa9b1a (diff) |
Use "." instead of "source", because the latter is a Bash extension
git-svn-id: http://svn.cactuscode.org/arrangements/CactusUtils/Formaline/trunk@215 83718e91-0e4f-0410-abf4-91180603181f
-rw-r--r-- | src/make.configuration.deps | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/make.configuration.deps b/src/make.configuration.deps index 4ccfd1f..be81692 100644 --- a/src/make.configuration.deps +++ b/src/make.configuration.deps @@ -320,7 +320,7 @@ 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 \ - source "$(CCTK_HOME)/cactus.config"; \ + . "$(CCTK_HOME)/cactus.config"; \ fi && \ export CACTUS_LOCAL_GIT_REPO CACTUS_CENTRAL_GIT_REPO && \ '$(GIT-BIN)/git-push-everything.pl' '$(GIT)' '$(GIT-REPO)' '$(GIT-MASTER-REPO)'; \ |