aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorschnetter <schnetter@83718e91-0e4f-0410-abf4-91180603181f>2008-02-04 19:05:00 +0000
committerschnetter <schnetter@83718e91-0e4f-0410-abf4-91180603181f>2008-02-04 19:05:00 +0000
commit788331242f56736b73a2d5319af5d8dd571b1592 (patch)
tree983c2aa0027c9d83d16924dcefe64b76953ec0a7
parent3aada37ae6324b1acda7c5a1c10bc16534c0c2a3 (diff)
Handle missing git ids gracefully
git-svn-id: http://svn.cactuscode.org/arrangements/CactusUtils/Formaline/trunk@154 83718e91-0e4f-0410-abf4-91180603181f
-rw-r--r--src/make.configuration.deps4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/make.configuration.deps b/src/make.configuration.deps
index e90999c..d86ddb5 100644
--- a/src/make.configuration.deps
+++ b/src/make.configuration.deps
@@ -83,9 +83,9 @@ $(TARBALL_DIR)/build-id.c: $(TOP)/BUILD-ID $(TOP)/GIT-COMMIT-ID
echo '/* This is an auto-generated file -- do not edit */' && \
build_id="$$(cat $(TOP)/BUILD-ID)" && \
echo 'char const build_id[] = "'$$build_id'";' && \
- git_commit_id="$$(cat $(TOP)/GIT-COMMIT-ID)" && \
+ git_commit_id="$$(cat $(TOP)/GIT-COMMIT-ID || echo 'NO-GIT-ID')" && \
echo 'char const source_id[] = "git-'$$git_commit_id'";' && \
- config_id="$$(cat $(TOP)/CONFIG-ID)" && \
+ config_id="$$(cat $(TOP)/CONFIG-ID || echo 'NO-CONFIG-ID')" && \
echo 'char const config_id[] = "'config_id'";'; \
} > $@