chiark / gitweb /
jni problem is critical, so make it an error
authorDaniel Martí <mvdan@mvdan.cc>
Sat, 7 Jun 2014 22:38:11 +0000 (00:38 +0200)
committerDaniel Martí <mvdan@mvdan.cc>
Sat, 7 Jun 2014 22:38:11 +0000 (00:38 +0200)
fdroidserver/common.py

index 53febdf06c023589949ddca52df356ae56e22fbb..01da31685f5a2b4c255d464f5e31346bd1442215 100644 (file)
@@ -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