|
From: | Christof Warlich |
Subject: | Re: Feature request / patch: dependency-only prerequisites |
Date: | Sat, 4 Jan 2020 10:16:43 +0100 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.2.2 |
Am 03.01.20 um 21:25 schrieb Paul Smith:
On Fri, 2020-01-03 at 20:42 +0100, Christof Warlich wrote:By the way, I stumbled into a minor issue entirely unrelated to the feature above that you may want to fix: The gnulib git repository referenced in bootstrap seems to have changed its location, so you may want it to change it accordingly:Hm. Does the original not work? The version I have is the same one that is currently being distributed with the gnulib library; see: http://git.savannah.gnu.org/cgit/gnulib.git/tree/build-aux/bootstrap sv.gnu.org is a valid alias for savannah.gnu.org so unless the problem is with the git protocol vs. https, it should work fine. I would prefer to see this change made in gnulib's upstream copy if it is a correct change, rather than in my copy.
The original doesen't work from my system (Debian Buster) at least:
$ ./bootstrap
./bootstrap: Bootstrapping from checked-out make sources...
./bootstrap: getting gnulib files...
Cloning into 'gnulib'...
fatal: unable to connect to git.sv.gnu.org:
git.sv.gnu.org[0: 209.51.188.201]: errno=Connection refused
git.sv.gnu.org[1: 2001:470:142:5::201]: errno=Cannot assign requested address
Although the host is obviously alife:
$ ping -c1 git.sv.gnu.org
PING git.sv.gnu.org (209.51.188.201) 56(84) bytes of data.
64 bytes from vcs0.savannah.gnu.org (209.51.188.201): icmp_seq=1 ttl=54 time=103 ms
--- git.sv.gnu.org ping statistics ---
1 packets transmitted, 1 received, 0% packet loss, time 0ms
rtt min/avg/max/mdev = 102.902/102.902/102.902/0.000 ms
[Prev in Thread] | Current Thread | [Next in Thread] |