mirror of
https://github.com/f-droid/fdroidserver.git
synced 2025-09-13 14:32:28 +03:00
use the virtualenv python so pylint checks against its installed libs
This commit is contained in:
parent
5b22e11872
commit
9ece46d32f
1 changed files with 5 additions and 3 deletions
|
@ -76,11 +76,13 @@ set +e
|
||||||
# Module 'sys' has no '_MEIPASS' member
|
# Module 'sys' has no '_MEIPASS' member
|
||||||
# disable F0401 until there is a plugin to handle this properly:
|
# disable F0401 until there is a plugin to handle this properly:
|
||||||
# keysync-gui:25: [F] Unable to import 'ordereddict'
|
# keysync-gui:25: [F] Unable to import 'ordereddict'
|
||||||
pylint --output-format=parseable --reports=n \
|
# use the virtualenv python so pylint checks against its installed libs
|
||||||
|
python /usr/bin/pylint --output-format=parseable --reports=n \
|
||||||
fdroidserver/*.py fdroid makebuildserver setup.py > $WORKSPACE/pylint.parseable
|
fdroidserver/*.py fdroid makebuildserver setup.py > $WORKSPACE/pylint.parseable
|
||||||
|
|
||||||
# to only tell jenkins there was an error if we got ERROR or FATAL, uncomment these:
|
# to only tell jenkins there was an error if we got ERROR or FATAL, uncomment these:
|
||||||
#[ $(($? & 1)) = "1" ] && exit 1
|
[ $(($? & 1)) = "1" ] && echo "FATALs found"
|
||||||
#[ $(($? & 2)) = "2" ] && exit 2
|
[ $(($? & 2)) = "2" ] && echo "ERRORs found"
|
||||||
|
[ $(($? & 4)) = "4" ] && echo "WARNINGs found"
|
||||||
set -e
|
set -e
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue