diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-06 13:29:37 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-12-12 08:09:01 +0100 |
| commit | 42d0fbf67304a6831b912ab330319ff0ad8c77fc (patch) | |
| tree | 3e500bbcf1da3645be14d9ae367a52466da301be /Makefile | |
| parent | 6cf5fce59481a25dff5f66125319adde9bf1932d (diff) | |
| download | devtools32-42d0fbf67304a6831b912ab330319ff0ad8c77fc.tar.xz | |
Makefile: devtools -> devtools32 in dist and upload targets
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -1,4 +1,4 @@ -V=20191212 +V=$(shell git describe --exact-match) PREFIX = /usr/local MANDIR = $(PREFIX)/share/man @@ -159,11 +159,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 $^ |