From d37853bfdda875de3d614daabbc0a16b9008099f Mon Sep 17 00:00:00 2001
From: zhangsz <zhangsz@wfc.com>
Date: Tue, 11 Mar 2025 14:44:44 +0800
Subject: [PATCH] fix: ...

---
 bin/build.sh | 3 +++
 1 file changed, 3 insertions(+)

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"
 }