coverity.sh: make the script compatible with Python 3
authorEvegeny Vereshchagin <evvers@ya.ru>
Mon, 25 Jun 2018 21:59:28 +0000 (21:59 +0000)
committerEvegeny Vereshchagin <evvers@ya.ru>
Mon, 25 Jun 2018 21:59:28 +0000 (21:59 +0000)
commit096eec29cd93adbf1bb70a91d1f9f0d713625125
tree82dd66227d416488e3e488e0e03459c183924dcb
parenteeeaebf9c567ff181bfd063f07b0dcbcdf0722d9
coverity.sh: make the script compatible with Python 3
tools/coverity.sh