mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
If GPG signing is aborted, e.g., by pressing CTRL-C, an empty .sig file remained in PUBLIC_DIR because the file was created by the Bash redirection. By using '--output $@', gpg maintains the .sig file.