openmpi

Автор	SHA1	Сообщение	Дата
Jeff Squyres	d2261fa9c6	coverity: move script to build-server directory Move the openmpi-nightly-coverity.pl script into the directory where all the other build server scripts live. Leave the coverity-model.c file in the coverity dir, because it's specific to coverity. Other items can be added into the coverity-model.c, if helpful (and then we can re-submit that model file).	2015-02-13 11:07:11 -05:00
Jeff Squyres	2a92e6cb0d	nightly-coverity.pl: fix curl submission arguments	2015-02-13 07:08:51 -05:00
Jeff Squyres	7792b54968	coverity: minor script tweaks	2015-02-12 17:54:45 -05:00
Jeff Squyres	93104ca175	coverity: first cut at coverity scripts This is a first cut at scripts to run the Coverity Scan tool and upload the results (Coverity used to do this for us automatically; now we need to do it ourselves).	2015-02-12 14:35:38 -08:00