From dc03b2fb46dd6c429dc077412defc647c5edd311 Mon Sep 17 00:00:00 2001
From: Alexander Mahr <info@alexmahr.de>
Date: Sun, 5 Jan 2025 22:59:22 +0100
Subject: [PATCH] fix missing pipefail in build script

---
 build-android-app.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-android-app.sh b/build-android-app.sh
index e0c488c..215523d 100755
--- a/build-android-app.sh
+++ b/build-android-app.sh
@@ -36,7 +36,7 @@ RUN <<EOF
 cat > /bin/makefile-bash-wrapper.sh << 'WRAPPER'
 #!/bin/bash
 printf $'\033[0;32m''#----------------------------------------\n'$'\033[0m' >&2
-bash -e "$@" || {
+bash -eo pipefail "$@" || {
   EXITCODE=$?
   printf $'\033[0;31m''ERROR EXITCODE='"$EXITCODE"'\n'$'\033[0m' >&2
   exit $EXITCODE