File tree Expand file tree Collapse file tree 3 files changed +3
-1
lines changed Expand file tree Collapse file tree 3 files changed +3
-1
lines changed Original file line number Diff line number Diff line change 3333 else
3434 if [[ " $( docker images -q $FULL_NAME 2> /dev/null) " == " " ]]; then
3535 echo " Building '$FULL_NAME '"
36+ echo " This may take 5 to 10 minutes."
3637 docker pull node:14 # Docker occasionally fails to pull image when building when it is not cached.
3738 echo " "
3839 docker build --quiet -t $FULL_NAME -f ./.internal/api.Dockerfile .
Original file line number Diff line number Diff line change 2828 else
2929 if [[ " $( docker images -q $FULL_NAME 2> /dev/null) " == " " ]]; then
3030 echo " Building '$FULL_NAME '"
31+ echo " This may take 5 to 10 minutes."
3132 docker pull python:3 # Docker occasionally fails to pull image when building when it is not cached.
3233 echo " "
3334 docker build --quiet -t $FULL_NAME -f ./.internal/pycli.Dockerfile .
Original file line number Diff line number Diff line change 3232 if [[ " $( docker images -q $FULL_NAME 2> /dev/null) " == " " ]]; then
3333 echo " React WUI production build not found."
3434 echo " Building '$FULL_NAME '"
35- echo " This may take 5 to 10 minutes. CLI Menu will open once build is completed. "
35+ echo " This may take 5 to 10 minutes."
3636 docker pull node:14 # Docker occasionally fails to pull image when building when it is not cached.
3737 echo " "
3838 docker build --quiet -t $FULL_NAME -f ./.internal/wui.Dockerfile .
You can’t perform that action at this time.
0 commit comments