mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-07 03:40:15 +00: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.