> > BTW, I wanted to check against the current repository version, but
> > when I tried to fetch it as described on
> > https://savannah.gnu.org/git/?group=make, I got:
> > 
> > % git clone git://git.savannah.gnu.org/make.git
> > Cloning into make...
> > warning: You appear to have cloned an empty repository.
> 
> Use CVS, not git, to fetch the latest development sources of Make.
With the CVS version, I cannot reproduce the bug, neither with the
test case nor with my actual code, so I suppose it's fixed by now.

I now see where the confusion WRT git/cvs comes from. In the top
menu on the Savannah page under "Quelltext" (I alway get the German
version and see no way to change it, it's probably called "Source
code" in English), there is "Use Git" at #1 and "Use CVS" at #3.
If, apparently, no Git repository exists, it would be useful to
remove the Git entry or at least put it below the CVS one or mark it
as "under construction" or whatever to avoid confusing users.

Frank

_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-make

Reply via email to