jenkins: fix copy/paste error

2016-10-05 11:28:30 +02:00 · 2016-10-05 11:28:30 +02:00 · 3b420bbcf0
parent 839ad0d9bd
commit 3b420bbcf0
1 changed files with 1 additions and 1 deletions
--- a/pylint.sh
+++ b/pylint.sh
@ -13,4 +13,4 @@ fi

 test -f pylint.out && cp pylint.out pylint.out.prev
 pylint -f parseable --rcfile ${PYLINT_RC} "$@" | tee pylint.out || /bin/true
-test -f pylint.out.prev && (diff pylint.out.prev pylint.out | grep '^[><]' | grep .py) || /bin/true¶
+test -f pylint.out.prev && (diff pylint.out.prev pylint.out | grep '^[><]' | grep .py) || /bin/true