From 65c4a060d51ce55ed3ab4a5306c537a81e17da05 Mon Sep 17 00:00:00 2001
From: Olivier DOSSMANN <olivier+git@dossmann.net>
Date: Thu, 14 Jan 2016 16:33:40 +0100
Subject: [PATCH] [FIX] Launch script: problem starting 'dev' with no Docker
 images.

---
 launch.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/launch.sh b/launch.sh
index 32d7c54..143e16d 100755
--- a/launch.sh
+++ b/launch.sh
@@ -271,7 +271,9 @@ initial_start() {
   # Build Gissmo Docker images if missing
   if [[ "$($docker_cmd images -q gissmo:${GISSMO_VERSION} 2> /dev/null)" == "" ]]; then
     cd $GISSMO_DIR
-    $docker_cmd build -t gissmo:${GISSMO_VERSION} -f ${DOCKERFILE} || error_and_quit "Failed to build Gissmo Docker container."
+    info "Building Docker images…"
+    $docker_cmd build -t gissmo:${GISSMO_VERSION} -f ${DOCKERFILE} . || error_and_quit "Failed to build Gissmo Docker container."
+    info "…done."
     cd $CURRENT_DIR
   fi
   # Check postgreSQL Docker container exists and is launched.