iceman1001 011a793eae UPD: updates of the coverity scan scripts, to make the release 2017.07 of coverity build tools ...

UPD: install.sh now downloads the repo and make a clean build

2017-07-11 13:33:42 +02:00

913 B

Executable File

Raw Blame History

View Raw