diff options
| author | Ben Elliston <ben.elliston@anu.edu.au> | 2018-04-10 10:07:47 +1000 |
|---|---|---|
| committer | Ben Elliston <ben.elliston@anu.edu.au> | 2018-04-10 10:07:47 +1000 |
| commit | cf8f99ba442c6cb0c658576c08522d455836633e (patch) | |
| tree | 15bf01714cc2bb4297f18bb4e4ab18841f449dfb /Makefile.in | |
| parent | 15a09ffbdc9e45f1f99da62391b797e0815f8706 (diff) | |
| download | swig-cf8f99ba442c6cb0c658576c08522d455836633e.tar.gz | |
* 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.
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index c19e16a97..9f81598cd 100644 --- a/Makefile.in +++ b/Makefile.in @@ -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. |