summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorSven-Hendrik Haase <svenstaro@gmail.com>2016-05-27 21:02:46 +0200
committerSven-Hendrik Haase <svenstaro@gmail.com>2016-05-27 21:02:46 +0200
commit7fc22b9abaf52a8326b93b38578fd25457f9c253 (patch)
tree791a788e89ac4a51bdf3a64bd1c39c38ad0604b6 /Makefile
parentf85fc32d78414c25f82e0b13e3d99f15ab787b56 (diff)
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--Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index ce2b042..5f73d0b 100644
--- a/Makefile
+++ b/Makefile
@@ -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
+