Drop svn support in favour of git-svn

Reasons:

* Cloning a svn repo via svn doesn't fetch the entire history
* Svn checkout is incredibly slow
* Svn doesn't have important features such as a 'clean' command

The only reason why we kept svn was for anonymous logins to repositories. This
is no longer a reason since git-svn also supports them.
This commit is contained in:
Daniel Martí 2014-07-18 12:39:24 +02:00
parent 13987b5c77
commit 78ff22d952
4 changed files with 6 additions and 56 deletions

View file

@ -235,7 +235,7 @@ def main():
if ref.startswith(s):
warn("Branch '%s' used as commit in srclib '%s'" % (
s, srclib))
for s in ['git clone', 'svn checkout', 'svn co', 'hg clone']:
for s in ['git clone', 'git svn clone', 'svn checkout', 'svn co', 'hg clone']:
for flag in ['init', 'prebuild', 'build']:
if not build[flag]:
continue