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 |
|
iceman
|
0baea563de
|
CHG: added some cleaning up earlier configurations, so the new config settings will be pure.
|
2016-09-26 17:11:01 +02:00 |
|
iceman
|
c2dac3f824
|
CHG, modified the configuration script
|
2016-01-12 15:55:01 +01:00 |
|
iceman
|
edff4a417d
|
ADD: created some build scripts for the CoverityScans
|
2016-01-12 10:39:23 +01:00 |
|