Am 05.01.20 um 17:03 schrieb Paul Smith:
That is not the right URL; you want git://git.sv.gnu.org/gnulib (note the
/git subdirectory is removed).
When you use https: you need to use /git/gnulib after the hostname, but
when you use the git: protocol you just use /gnulib after the hostname.
Ups
Am 04.01.20 um 21:55 schrieb Paul Smith:
Hm, this worked fine for me:
$ git ls-remote git://git.sv.gnu.org/gnulib
...list of branches...
Perhaps your system is sequestered behind some sort of firewall that will
not allow the git: protocol (port 9418 IIRC) to pass through? Almost all
f
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
Hi Paul,
Am 03.01.20 um 18:24 schrieb Paul Smith:
Hi Christof; .EXTRA_PREREQS is provided in 4.2.93 please test in your
environment.
Note that I did rework some things to allow it to work with implicit rules
(previously it only worked for explicit rules) although it still can't be
used as a pat
Am 14.08.19 um 20:31 schrieb Paul Smith:
On Fri, 2019-08-09 at 17:52 +0200, Christof Warlich wrote:
From my perspective, everything is complete and works as it should,
so I would definitely need your feedback if there is anything missing
or wrong.
Otherwise (or in parallel), could you guide
Am 13.07.19 um 14:46 schrieb Paul Smith:
On Wed, 2019-07-10 at 18:15 +0200, Christof Warlich wrote:
Am 10.07.19 um 14:44 schrieb Paul Smith:
Let me know how you want to proceed.
As I want to tackle the most challenging part first, I'd like to suggest to
do the copyright assignment afte
Am 13.07.19 um 14:46 schrieb Paul Smith:
On Wed, 2019-07-10 at 18:15 +0200, Christof Warlich wrote:
Am 10.07.19 um 14:44 schrieb Paul Smith:
Let me know how you want to proceed.
As I want to tackle the most challenging part first, I'd like to suggest to
do the copyright assignment afte
Am 10.07.19 um 14:44 schrieb Paul Smith:
Would it really help if I try to supply a patch that implements your idea?
Or is the current "state of affairs" sufficient that the general idea (i.e.
allowing to add target specific prerequisites without changing automatic
variables) will eventually go i
Am 09.07.19 um 20:51 schrieb David Boyce:
I don't claim to know much about how Savannah works but I see
anonymous bug reports and RFEs come in frequently so it seems you
don't need a login to make one.
https://www.gnu.org/software/make/manual/html_node/Bugs.html
Thanks, that's want I was looki
Am 09.07.19 um 20:52 schrieb Paul Smith:
https://savannah.gnu.org/bugs/?func=additem&group=make
You don't have to make an account in order to file a bug, but be sure
to add yourself to mail notifications if you don't create an account,
or you won't get any updates.
Ok, but considering your sugg
Am 09.07.19 um 15:42 schrieb David Boyce:
I also think the proposal is reasonable but I think it would be
"stickier", i.e. less likely to get lost, if you filed it as an
enhancement request via the Savannah bug reporting system.
I'd be glad to do that if it increases the chance to get it in. Bu
ther doc fixes (hopefully) improving the
grammer.
From 5d647da46a3a1c41cc547caa75f6d8fe318d102e Mon Sep 17 00:00:00 2001
From: Christof Warlich
Date: Fri, 5 Jul 2019 10:51:54 +0200
Subject: [PATCH 1/2] Add support for dependency-only prerequisites.
---
doc/make.texi | 76 ++
Dear all,
please bear with me if I'm doing something wrong here, this is the first
time that I'm trying to contribute to GNU Make.
The attached patch would add a minor (but imho useful) feature to GNU
Make. Here is an extract of the (changed) documentation (changes are in
red), giving a quite co
13 matches
Mail list logo