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).
This commit is contained in:
parent
4fdea4617c
commit
d2261fa9c6
Loading…
x
Reference in New Issue
Block a user