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