chiark / gitweb /
New srclib Android-File-Picker
authorDavid Black <david8black@gmail.com>
Tue, 18 Sep 2012 12:55:23 +0000 (13:55 +0100)
committerDavid Black <david8black@gmail.com>
Tue, 18 Sep 2012 12:55:23 +0000 (13:55 +0100)
fdroidserver/common.py

index 8cdaf20768b206aef5d0fc9d31f72c71ecc1aa4d..40f2483ed0cdf6c08d9cefb79ff4efc34782c589 100644 (file)
@@ -1023,6 +1023,16 @@ def getsrclib(spec, extlib_dir, sdk_path):
             raise BuildException('Error updating AnySoftKeyboard-API project')
         return sdir
 
+    if name == 'File-Picker':
+        sdir = os.path.join(extlib_dir, 'File-Picker')
+        vcs = getvcs('hg',
+           'https://code.google.com/p/android-file-picker/', sdir, sdk_path)
+        vcs.gotorevision(ref)
+        if subprocess.call([os.path.join(sdk_path, 'tools', 'android'),
+            'update', 'project', '-p',
+            sdir]) != 0:
+            raise BuildException('Error updating File-Picker project')
+        return sdir
 
     raise BuildException('Unknown srclib ' + name)