🔨 fix release target

pull/1974/head
Niels Lohmann 2019-07-28 17:55:01 +02:00
parent d80f8b09f5
commit d4fd731f1f
No known key found for this signature in database
GPG Key ID: 7F3CEA63AE251B69
1 changed files with 2 additions and 2 deletions

View File

@ -588,13 +588,13 @@ ChangeLog.md:
# Release files # Release files
########################################################################## ##########################################################################
# Create the files for a release and add signatures and hashes. We use `--no-extra` to make the resulting ZIP file # Create the files for a release and add signatures and hashes. We use `-X` to make the resulting ZIP file
# reproducible, see <https://content.pivotal.io/blog/barriers-to-deterministic-reproducible-zip-files>. # reproducible, see <https://content.pivotal.io/blog/barriers-to-deterministic-reproducible-zip-files>.
release: release:
rm -fr release_files rm -fr release_files
mkdir release_files mkdir release_files
zip -9 --recurse-paths --no-extra include.zip $(SRCS) zip -9 --recurse-paths -X include.zip $(SRCS)
gpg --armor --detach-sig include.zip gpg --armor --detach-sig include.zip
mv include.zip include.zip.asc release_files mv include.zip include.zip.asc release_files
gpg --armor --detach-sig $(AMALGAMATED_FILE) gpg --armor --detach-sig $(AMALGAMATED_FILE)