diff --git a/bin/build.sh b/bin/build.sh
index e0743ea..2721cbd 100755
--- a/bin/build.sh
+++ b/bin/build.sh
@@ -178,6 +178,9 @@ make_ocs_bin()
 
 make_cook_ocs_bin_in_ub12()
 {
+    if [ "$(docker ps -a -f name=ubuntu12-dev -f status=exited -q)" ]; then
+        docker start ubuntu12-dev
+    fi
     docker exec -it ubuntu12-dev /bin/bash -c "cd ~/ocs.git/build/bin && ./build.sh ocs -t cook"
 }