1
0
mirror of https://gitlab.com/fdroid/fdroidserver.git synced 2024-09-17 10:40:12 +02:00

Merge commit 'refs/merge-requests/110' of git://gitorious.org/f-droid/fdroidserver into merge-requests/110

This commit is contained in:
Ciaran Gultnieks 2013-02-23 09:33:27 +00:00
commit ffe5be7977

View File

@ -1518,6 +1518,20 @@ def getsrclib(spec, extlib_dir, sdk_path, basepath=False):
vcs.gotorevision(ref)
return sdir
if name == 'AnySoftKeyboardTools':
sdir = os.path.join(extlib_dir, 'AnySoftKeyboardTools')
vcs = getvcs('git',
'https://github.com/AnySoftKeyboard/AnySoftKeyboardTools', sdir, sdk_path)
vcs.gotorevision(ref)
return sdir
if name == 'DashClock':
sdir = os.path.join(extlib_dir, 'DashClock')
vcs = getvcs('git',
'https://code.google.com/p/dashclock', sdir, sdk_path)
vcs.gotorevision(ref)
return sdir
raise BuildException('Unknown srclib ' + name)