mirror of
https://github.com/f-droid/fdroidserver.git
synced 2025-09-15 15:32:30 +03:00
lint: exit with an error code if any errors are found
This commit is contained in:
parent
bc5d5cbd83
commit
fd6e323ba9
1 changed files with 3 additions and 0 deletions
|
@ -22,6 +22,7 @@ import re
|
||||||
import logging
|
import logging
|
||||||
import common
|
import common
|
||||||
import metadata
|
import metadata
|
||||||
|
import sys
|
||||||
from collections import Counter
|
from collections import Counter
|
||||||
from sets import Set
|
from sets import Set
|
||||||
|
|
||||||
|
@ -232,5 +233,7 @@ def main():
|
||||||
logging.info("Found a total of %i warnings in %i apps out of %i total." % (
|
logging.info("Found a total of %i warnings in %i apps out of %i total." % (
|
||||||
count['warn'], count['app'], count['app_total']))
|
count['warn'], count['app'], count['app_total']))
|
||||||
|
|
||||||
|
sys.exit(1 if count['warn'] > 0 else 0)
|
||||||
|
|
||||||
if __name__ == "__main__":
|
if __name__ == "__main__":
|
||||||
main()
|
main()
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue