diff options
author | schnetter <schnetter@83718e91-0e4f-0410-abf4-91180603181f> | 2008-02-04 19:05:00 +0000 |
---|---|---|
committer | schnetter <schnetter@83718e91-0e4f-0410-abf4-91180603181f> | 2008-02-04 19:05:00 +0000 |
commit | 788331242f56736b73a2d5319af5d8dd571b1592 (patch) | |
tree | 983c2aa0027c9d83d16924dcefe64b76953ec0a7 | |
parent | 3aada37ae6324b1acda7c5a1c10bc16534c0c2a3 (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.deps | 4 |
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'";'; \ } > $@ |