diff options
Diffstat (limited to 'src/make.configuration.deps')
| -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 726960e..f6d38fc 100644 --- a/src/make.configuration.deps +++ b/src/make.configuration.deps @@ -323,7 +323,7 @@ $(SCRATCH_BUILD)/cactus-flesh-source.git-tag: $(TARBALL_DIR)/cactus-flesh-source < $(TARBALL_DIR)/cactus-flesh-source.files && \ : rm $(TARBALL_DIR)/cactus-flesh-source.files2 && \ : > $@; \ - } && echo "Formaline: WARNING: Error while adding flesh to git repository" + } || echo "Formaline: WARNING: Error while adding flesh to git repository" .PRECIOUS: $(SCRATCH_BUILD)/cactus-thorn-%.git-tag $(SCRATCH_BUILD)/cactus-thorn-%.git-tag: $(TARBALL_DIR)/cactus-thorn-source-%.files @@ -334,7 +334,7 @@ $(SCRATCH_BUILD)/cactus-thorn-%.git-tag: $(TARBALL_DIR)/cactus-thorn-source-%.fi : xargs ls < $(TARBALL_DIR)/cactus-thorn-source-$*.files \ > $(TARBALL_DIR)/cactus-thorn-source-$*.files2 2> /dev/null && \ xargs '$(GIT-BIN)/git-add-thorn.pl' '$(GIT)' '$(GIT-REPO)' '$(GIT-ROOT)' '$*' \ - < $(TARBALL_DIR)/cactus-flesh-source.files && \ + < $(TARBALL_DIR)/cactus-thorn-source-$*.files && \ : rm $(TARBALL_DIR)/cactus-thorn-source-$*.files2 && \ : > $@; \ } || echo "Formaline: WARNING: Error while adding thorn $* to git repository" |