diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-06 13:29:37 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-10-09 14:13:08 +0200 |
| commit | 61ec71203519cfb7f2eda12595937cefea242ad5 (patch) | |
| tree | e5019b44f0ec043e5acb8f5c924d66b87d208280 | |
| parent | c95e7cb5100f70ff2b32bed566ee6959a72e1412 (diff) | |
| download | devtools-61ec71203519cfb7f2eda12595937cefea242ad5.tar.xz | |
Makefile: devtools -> devtools32 in dist and upload targets
| -rw-r--r-- | Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -1,4 +1,4 @@ -V=20190912 +V=$(shell git describe --exact-match) PREFIX = /usr/local MANDIR = $(PREFIX)/share/man @@ -157,11 +157,11 @@ tag: @git tag --sign --message "Version $(TODAY)" $(TODAY) dist: - git archive --format=tar --prefix=devtools-$(V)/ $(V) | gzip -9 > devtools-$(V).tar.gz - gpg --detach-sign --use-agent devtools-$(V).tar.gz + git archive --format=tar --prefix=devtools32-$(V)/ $(V) | gzip -9 > devtools32-$(V).tar.gz + gpg --detach-sign --use-agent devtools32-$(V).tar.gz upload: - scp devtools-$(V).tar.gz devtools-$(V).tar.gz.sig repos.archlinux.org:/srv/ftp/other/devtools/ + scp devtools32-$(V).tar.gz devtools32-$(V).tar.gz.sig sources.archlinux32.org:sources/ check: $(BINPROGS) bash_completion makepkg-x86_64.conf PKGBUILD.proto shellcheck $^ |