diff --git a/contrib/coverity/nightly-coverity.pl b/contrib/build-server/openmpi-nightly-coverity.pl
similarity index 100%
rename from contrib/coverity/nightly-coverity.pl
rename to contrib/build-server/openmpi-nightly-coverity.pl