mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-09-14 06:52:39 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

Allow for manual native code building

Browse source
This commit is contained in:
Ciaran Gultnieks 2012-02-24 07:42:49 +00:00
parent 479362aa55
commit ce1deec8dd
3 changed files with 17 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

2
common.py
View file

@ -954,7 +954,7 @@ def scan_source(build_dir, root_dir, thisbuild):
# Presence of a jni directory without buildjni=yes might
# indicate a problem...
if (os.path.exists(os.path.join(root_dir, 'jni')) and
thisbuild.get('buildjni', 'no') != 'yes'):
thisbuild.get('buildjni', 'no') == 'no'):
msg = 'Found jni directory, but buildjni is not enabled'
problems.append(msg)