Merge pull request #1222 from bje-/configfiles-urls

* Makefile.in (configfiles): Update URLs for latest configfiles.
This commit is contained in:
Olly Betts 2018-04-10 12:30:10 +12:00 committed by GitHub
commit 3042ff60fe
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -583,9 +583,9 @@ srcrpm:
# version 1.10 for our case of not having a top level Makefile.am. Until then we
# can fetch them manually and will have to commit them to Git.
configfiles:
wget ftp://ftp.gnu.org/pub/gnu/config/config.guess -O Tools/config/config.guess
wget 'https://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.guess' -O Tools/config/config.guess
chmod a+x Tools/config/config.guess
wget ftp://ftp.gnu.org/pub/gnu/config/config.sub -O Tools/config/config.sub
wget 'https://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.sub' -O Tools/config/config.sub
chmod a+x Tools/config/config.sub
# Regenerate Makefile if Makefile.in or config.status have changed.