build: improve docker build

ahoi-attacks · May 3, 2024 · e4fec0c · e4fec0c
1 parent beafa64
commit e4fec0c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 5 deletions.
diff --git a/build.sh b/build.sh
@@ -1,8 +1,8 @@
 #!/bin/bash
 
-set -o errexit 
-set -o nounset 
-set -o pipefail 
+# set -o errexit 
+# set -o nounset 
+# set -o pipefail 
 
 SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
 

diff --git a/common.sh b/common.sh
@@ -121,7 +121,6 @@ build_install_ovmf_edk2()
 
 	if [ -d edk2 ]; then
 		echo "./edk2 directory already exist. do not re-init"
-		popd >/dev/null
 	else
 		echo "cloning repository ${OVMF_GIT_URL}"
 		run_cmd git clone --single-branch -b ${OVMF_BRANCH} ${OVMF_GIT_URL} edk2
@@ -209,7 +208,6 @@ build_install_qemu()
 
 	if [ -d qemu ]; then
 		echo "./qemu directory already exist. do not re-init"
-		popd >/dev/null
 	else
 		echo "cloning repository ${QEMU_GIT_URL}"
 		run_cmd git clone --single-branch -b ${QEMU_BRANCH} ${QEMU_GIT_URL} qemu