From 712393c796359abd13d919231f6c14db07435dd0 Mon Sep 17 00:00:00 2001
From: orbea <ovariegata@yahoo.com>
Date: Thu, 21 Dec 2017 04:03:30 +0000
Subject: [PATCH] Revert "libretro-buildbot-recipe.sh: Remove seemingly
 unneeded and non-portable bash redirection."

---
 libretro-build-common.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/libretro-build-common.sh b/libretro-build-common.sh
index c4c8f261..8b0fb5d9 100755
--- a/libretro-build-common.sh
+++ b/libretro-build-common.sh
@@ -282,7 +282,12 @@ libretro_build_core() {
 		exec 6>&1
 		echo "Building ${1}..." >> $log_module
 
-		exec > $log_module
+		# TODO: Possibly a shell function for tee?
+		if [[ -n "$LIBRETRO_DEVELOPER" && -n "${cmd_tee:=$(find_tool "tee")}" ]]; then
+			exec > >($cmd_tee -a $log_module)
+		else
+			exec > $log_module
+		fi
 	fi
 
 	case "$core_build_rule" in