Make use of the realclean build.sh feature to build the docker images.

no issue #

diff --git a/jenkins/run-docker-tests.sh b/jenkins/run-docker-tests.sh
index 8ff87369ea0a0de3e79e44fedcfc839d478c1320..244c0d7311008db8016990e4850cdd3c3dd1db9c 100755 (executable)
--- a/jenkins/run-docker-tests.sh
+++ b/jenkins/run-docker-tests.sh
@@ -10,23 +10,24 @@ title () {
 
 echo $WORKSPACE
 
+# DOCKER
+title "Starting docker build"
+
 # clean up existing docker containers and images
 docker.io stop $(docker.io ps -a -q)
 docker.io rm $(docker.io ps -a -q)
 docker.io rmi $(docker.io images -q)
 
-# clean up build files so we can re-build
-rm -f $WORKSPACE/docker/*-image
+# clean up the docker build environment
+cd "$WORKSPACE"
+cd docker
+./build.sh realclean
 
-rm -f docker/config.yml
+rm -f config.yml
 
 # Get test config.yml file
-cp $HOME/docker/config.yml docker/
+cp $HOME/docker/config.yml .
 
-# DOCS
-title "Starting docker build"
-cd "$WORKSPACE"
-cd docker
 ./build.sh
 
 ECODE=$?