diff options
| author | Sven-Hendrik Haase <svenstaro@gmail.com> | 2016-05-27 21:02:46 +0200 |
|---|---|---|
| committer | Sven-Hendrik Haase <svenstaro@gmail.com> | 2016-05-27 21:02:46 +0200 |
| commit | 7fc22b9abaf52a8326b93b38578fd25457f9c253 (patch) | |
| tree | 791a788e89ac4a51bdf3a64bd1c39c38ad0604b6 /Makefile | |
| parent | f85fc32d78414c25f82e0b13e3d99f15ab787b56 (diff) | |
| download | devtools32-7fc22b9abaf52a8326b93b38578fd25457f9c253.tar.xz | |
Use repos.archlinux.org everywhere instead of hostname based domains20160527
This makes it a lot easier to swap out the host that actually serves the repos in the future.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 + |