Build Docker images with the other installers.

2018-02-12 23:35:17 +01:00
parent 2c5cf1db12
commit 3a83b39e95
1 changed files with 11 additions and 0 deletions
@@ -136,6 +136,17 @@ mv "Installer/fedora/${RPMNAME}" "${UPDATE_TARGET}"
 echo "Done building rpm package"


+echo ""
+echo ""
+echo "Building Docker images ..."
+
+cd Installer/Docker
+bash build-images.sh ../../$1
+cd ../..
+
+echo "Done building Docker images"
+
+
 echo ""
 echo ""
 echo "Building Windows instance in virtual machine"