From d2261fa9c65b26faf29ef19441f7d8c1b36bd3f7 Mon Sep 17 00:00:00 2001 From: Jeff Squyres Date: Fri, 13 Feb 2015 11:07:11 -0500 Subject: [PATCH] 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). --- .../openmpi-nightly-coverity.pl} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename contrib/{coverity/nightly-coverity.pl => build-server/openmpi-nightly-coverity.pl} (100%) 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