> > 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