It would be nicest to actually use git (or if we were in heaven, Mercurial)! :-)
Cheers, Tim On 3 January 2013 20:20, Frank Heckenbach <f.heckenb...@fh-soft.de> wrote: >> > 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 -- You could help some brave and decent people to have access to uncensored news by making a donation at: http://www.thezimbabwean.co.uk/friends/ _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
