diff --git a/fdroidserver/common.py b/fdroidserver/common.py index e0846f99..01c68922 100644 --- a/fdroidserver/common.py +++ b/fdroidserver/common.py @@ -1511,6 +1511,13 @@ def getsrclib(spec, extlib_dir, sdk_path, basepath=False): raise BuildException('Error updating AndrozicLib project') 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 + raise BuildException('Unknown srclib ' + name)