mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 09:46:20 +00:00
depot: delete signature file if signing failed
In cases where the signing failed (maybe the passphrase for the key was not available at this time), there remained an empty .sig file, which is newer than the to-be-signed file and, therefore, prevents subsequent signing processes.
This commit is contained in:
parent
cd244c2077
commit
8c2235c9a7
@ -91,9 +91,9 @@ MISSING_PUBKEY_FILES := $(sort \
|
||||
$(DEPOT_DIR)/$(call pubkey_filename,$A))))
|
||||
|
||||
$(PUBLIC_DIR)/%.xz.sig : $(PUBLIC_DIR)/%.xz
|
||||
$(VERBOSE)rm -f $@;
|
||||
$(VERBOSE)$(GPG) --detach-sign --digest-algo SHA256 --no-tty --use-agent \
|
||||
--local-user $(call pubkey_id,$*) - < $< > $@
|
||||
--local-user $(call pubkey_id,$*) - < $< > $@ || \
|
||||
( rm -f $@; false )
|
||||
|
||||
.PRECIOUS: $(TARGETS:.xz.sig=.xz)
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user