diff options
author | schnetter <schnetter@83718e91-0e4f-0410-abf4-91180603181f> | 2008-04-26 17:08:57 +0000 |
---|---|---|
committer | schnetter <schnetter@83718e91-0e4f-0410-abf4-91180603181f> | 2008-04-26 17:08:57 +0000 |
commit | 823f8baa5e909bffc6c3a20dc41f9cdceb9b6b91 (patch) | |
tree | 2e43a32b31f0981f495b6f79dd17ed498f6646c4 | |
parent | b02b59a4b02d2c89401e418ccb2b3d0a6edfb940 (diff) |
Update info output
git-svn-id: http://svn.cactuscode.org/arrangements/CactusUtils/Formaline/trunk@177 83718e91-0e4f-0410-abf4-91180603181f
-rw-r--r-- | src/make.configuration.deps | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/make.configuration.deps b/src/make.configuration.deps index bd9cabd..937028d 100644 --- a/src/make.configuration.deps +++ b/src/make.configuration.deps @@ -278,6 +278,9 @@ main: git-store-source .PHONY: git-store-source git-store-source: git-commit-everything git-push-everything echo "Formaline: Done." + echo "Formaline: (Formaline has finished updating the git repositories." + echo "Formaline: If the build process seems to hang, some other command" + echo "Formaline: is still running, e.g. the final link stage.)" GIT-ROOT = $(CCTK_HOME) GIT-REPO = $(TOP)/configjar.git |