chiark / gitweb /
Add an option to disable repository refresh
authorأحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@users.sourceforge.net>
Tue, 14 Jul 2015 10:32:39 +0000 (12:32 +0200)
committerأحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@users.sourceforge.net>
Tue, 14 Jul 2015 15:43:07 +0000 (17:43 +0200)
commit44335b64be2ba99d561b90ecb32c4cd9609b4018
tree7b919bcc15626a16fbac8251282ae64a3cb10b33
parent09a0aa2eb9426d3cfa5fdff5e71a38b9e940cdd4
Add an option to disable repository refresh

This is useful for testing builds with no internet connection, and the
repositories were already fetched previously
fdroidserver/build.py
fdroidserver/common.py