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
..
coverity-model.c	coverity: first cut at coverity scripts	2015-02-12 14:35:38 -08:00