mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-11-06 23:40:29 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

jni problem is critical, so make it an error

Browse source
This commit is contained in:
Daniel Martí 2014-06-08 00:38:11 +02:00
parent b86bfb94fb
commit 7d8e9bbcaa
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
fdroidserver/common.py
View file

@ -1411,7 +1411,7 @@ def scan_source(build_dir, root_dir, thisbuild):
# buildjni=no to bypass this check) # buildjni=no to bypass this check)
if (os.path.exists(os.path.join(root_dir, 'jni')) and if (os.path.exists(os.path.join(root_dir, 'jni')) and
not thisbuild['buildjni']): not thisbuild['buildjni']):
logging.warn('Found jni directory, but buildjni is not enabled') logging.error('Found jni directory, but buildjni is not enabled')
count += 1 count += 1
return count return count