Use wget timestamping

This commit is contained in:
Julian Ospald 2016-02-22 20:58:25 +01:00
parent 994a9c010a
commit 1363faf547
No known key found for this signature in database
GPG Key ID: 220CD1C5BDEED020

View File

@ -5,6 +5,6 @@ source "/etc/paludis/hooks/set_portdir.bash"
if [[ ${TARGET} == gentoo ]] ; then
ebegin "Updating projects.xml"
wget -q -O "${PORTDIR}"/metadata/projects.xml https://api.gentoo.org/metastructure/projects.xml
wget -q -P "${PORTDIR}"/metadata/ -N https://api.gentoo.org/metastructure/projects.xml
eend $?
fi