diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2016-05-28 10:09:45 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2016-05-28 10:09:45 +0200 |
| commit | eb88a303b7d3e3f829800e36e543df9a7dd5d6e2 (patch) | |
| tree | 0596cec456dce28cac22dcd596657c0d61d43ace /Makefile | |
| parent | 7fe0f688566fe2bf637d0503056cf04a6d4a5c87 (diff) | |
| parent | 8f94d8118fefc48b12be4a35df5ae2ff7a39486f (diff) | |
| download | devtools32-eb88a303b7d3e3f829800e36e543df9a7dd5d6e2.tar.xz | |
Merge branch 'master' of git.archlinux.org:/srv/git/devtools
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -1,4 +1,4 @@ -V=20151129 +V=20160527.1 PREFIX = /usr/local @@ -112,6 +112,7 @@ dist: gpg --detach-sign --use-agent devtools-$(V).tar.gz upload: - scp devtools-$(V).tar.gz devtools-$(V).tar.gz.sig nymeria.archlinux.org:/srv/ftp/other/devtools/ + scp devtools-$(V).tar.gz devtools-$(V).tar.gz.sig repos.archlinux.org:/srv/ftp/other/devtools/ .PHONY: all clean install uninstall dist upload + |