Re: [Rd] [PATCH v2] Makefile: add support for git svn clones

2015-01-28 Thread Martin Maechler
> Felipe Balbi > on Mon, 26 Jan 2015 12:41:08 -0600 writes: > git has an interface for cloning SVN repositories into git > which some users might decide to use. For those users' > surprise, the repository will always fail to build on > svnonly target and it will exit e

[Rd] [PATCH v2] Makefile: add support for git svn clones

2015-01-26 Thread Felipe Balbi
git has an interface for cloning SVN repositories into git which some users might decide to use. For those users' surprise, the repository will always fail to build on svnonly target and it will exit early. The problem is simple enough to fix by just checking if a .git directory exists in top_buil