From: Daniel Martí Date: Sat, 7 Jun 2014 22:38:11 +0000 (+0200) Subject: jni problem is critical, so make it an error X-Git-Tag: 0.2~41 X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=7d8e9bbcaa63038d097f094d698f540019531a1a;p=fdroidserver.git jni problem is critical, so make it an error --- diff --git a/fdroidserver/common.py b/fdroidserver/common.py index 53febdf0..01da3168 100644 --- a/fdroidserver/common.py +++ b/fdroidserver/common.py @@ -1411,7 +1411,7 @@ def scan_source(build_dir, root_dir, thisbuild): # buildjni=no to bypass this check) if (os.path.exists(os.path.join(root_dir, 'jni')) and 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 return count