woj/woj-server
1
0
Fork 0
Code Issues 2 Pull Requests Packages Projects Releases Wiki Activity

fix: build_image.sh: exit is not exiting

Browse Source
This commit is contained in:
Paul Pan 2024-02-19 13:45:06 +08:00
parent 967970fc38
commit db16b3e76f
Signed by: Paul
GPG Key ID: D639BDF5BA578AF4
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
build_image.sh
View File

@ -10,9 +10,9 @@ function build_base() {
log_info "[+] Building Base Images"
pushd resource/runner || exit 1
$DOCKER build -t git.0x7f.app/woj/ubuntu-full:latest -f scripts/ubuntu-full.Dockerfile . ||
(log_error "Build Full Image failed" && exit 1)
{ log_error "Build Full Image failed"; exit 1; }
$DOCKER build -t git.0x7f.app/woj/ubuntu-run:latest -f scripts/ubuntu-run.Dockerfile . ||
(log_error "Build Tiny Image failed" && exit 1)
{ log_error "Build Tiny Image failed"; exit 1; }
popd || exit 1
}
@ -25,7 +25,7 @@ function push_base() {
function build_server() {
log_info "[+] Building Server"
$DOCKER build -t "git.0x7f.app/woj/woj-server:latest" -f Server.Dockerfile . ||
(log_error "[!] Failed to build Server" && exit 1)
{ log_error "[!] Failed to build Server"; exit 1; }
}
function build_runner() {
@ -35,7 +35,7 @@ function build_runner() {
--security-opt label=disable \
-t "git.0x7f.app/woj/woj-runner:latest" \
-f Runner.Dockerfile . ||
(log_error "[!] Failed to build Runner" && exit 1)
{ log_error "[!] Failed to build Runner"; exit 1; }
}
function push_server() {