* Makefile.in (configfiles): Update URLs for latest configfiles.
We haven't uploaded the latest version of these scripts to ftp.gnu.org in over 10 years. See ftp://ftp.gnu.org/pub/gnu/config/README. The best place to fetch them from is the Savannah git repository.
This commit is contained in:
parent
15a09ffbdc
commit
cf8f99ba44
1 changed files with 2 additions and 2 deletions
|
|
@ -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.
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue