diff options
author | Werner Koch <[email protected]> | 2015-06-16 09:41:55 +0000 |
---|---|---|
committer | Werner Koch <[email protected]> | 2015-06-16 16:11:31 +0000 |
commit | 43211f553dd2741f855db4023fc4920da1c3789c (patch) | |
tree | 43a4fab7673fd82113e466cc99bc98bb14a42894 | |
parent | Don't prompt for the password multiple times in pinentry loopback mode. (diff) | |
download | gnupg-43211f553dd2741f855db4023fc4920da1c3789c.tar.gz gnupg-43211f553dd2741f855db4023fc4920da1c3789c.zip |
build: Distribute swdb.lst with the w32-source target.
--
-rw-r--r-- | build-aux/speedo.mk | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/build-aux/speedo.mk b/build-aux/speedo.mk index 0dd5e2ee6..dc949baf1 100644 --- a/build-aux/speedo.mk +++ b/build-aux/speedo.mk @@ -91,7 +91,8 @@ git-w32-installer: check-tools $(SPEEDOMAKE) TARGETOS=w32 WHAT=git WITH_GUI=0 installer this-w32-installer: check-tools - $(SPEEDOMAKE) TARGETOS=w32 WHAT=this WITH_GUI=0 installer + $(SPEEDOMAKE) TARGETOS=w32 WHAT=this WITH_GUI=0 \ + CUSTOM_SWDB=1 installer w32-source: check-tools $(SPEEDOMAKE) TARGETOS=w32 WHAT=release WITH_GUI=0 dist-source @@ -100,7 +101,8 @@ git-w32-source: check-tools $(SPEEDOMAKE) TARGETOS=w32 WHAT=git WITH_GUI=0 dist-source this-w32-source: check-tools - $(SPEEDOMAKE) TARGETOS=w32 WHAT=git WITH_GUI=0 dist-source + $(SPEEDOMAKE) TARGETOS=w32 WHAT=this WITH_GUI=0 \ + CUSTOM_SWDB=1 dist-source # Set this to "git" to build from git, @@ -1058,7 +1060,7 @@ dist-source: all --anchored --exclude './PLAY' . ;\ tar --totals -rf "$$tarname" --exclude-backups --exclude-vc \ --transform='s,^,$(INST_NAME)-$(INST_VERSION)/,' \ - PLAY/stamps/stamp-*-00-unpack PLAY/src ;\ + PLAY/stamps/stamp-*-00-unpack PLAY/src swdb.lst swdb.lst.sig ;\ xz "$$tarname" ;\ ) |