chiark / gitweb /
Rescu srclib
authorDavid Black <david8black@gmail.com>
Tue, 14 May 2013 17:31:59 +0000 (18:31 +0100)
committerDavid Black <david8black@gmail.com>
Wed, 15 May 2013 16:22:04 +0000 (17:22 +0100)
fdroidserver/common.py

index f9b91bbb183b84430f139e59a2339d913608a2f3..b3795991fcf1b4a8dc3b095826c8bacff7f7165c 100644 (file)
@@ -1861,6 +1861,13 @@ def getsrclib(spec, extlib_dir, sdk_path, basepath=False):
             return sdir
         return libdir
 
+    if name == 'Rescu':
+        sdir = os.path.join(extlib_dir, 'Rescu')
+        vcs = getvcs('git',
+           'https://github.com/mmazi/rescu', sdir, sdk_path)
+        vcs.gotorevision(ref)
+        return sdir
+
     raise BuildException('Unknown srclib ' + name)