You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: scripts/fileutils.sh
+12-16Lines changed: 12 additions & 16 deletions
Original file line number
Diff line number
Diff line change
@@ -423,7 +423,6 @@ processBuild() {
423
423
local profile_name=$4
424
424
# local container_name=$( echo "builder_$profile_name" | sed -r 's#[:/]#-#g')
425
425
local container_name="build"
426
-
local i=0
427
426
428
427
mkdir -p ${WEB_FILES}/${profile_name}/build
429
428
mkdir -p ${EMBEDDED_FILES}/${profile_name}
@@ -442,21 +441,17 @@ processBuild() {
442
441
443
442
local message=" Running Build process, this could take a very long time. In another terminal run 'docker logs ${container_name} -f' to watch progress."
while (! docker -H unix:///$(pwd)/data/tmp/build/docker.sock ps ); do
451
-
i=$((i+1)); \
452
-
echo -n '.'; \
453
-
sleep 0.5; \
454
-
if [ $i -eq 20 ]; then docker restart build-docker; fi; \
455
-
if [ $i -eq 40 ]; then docker restart build-docker; fi; \
456
-
if [ $i -eq 60 ]; then echo 'build-docker will not start. Please review docker logs build-docker. Run this build again will sometimes fix the problem.'; else; exit 1; fi; \
457
-
done; \
447
+
if ! docker -H unix:///$(pwd)/data/tmp/build/docker.sock ps > /dev/null ; then
448
+
echo the build-docker failed. please docker system prune and retry; \
0 commit comments