Revert "libretro-buildbot-recipe.sh: Remove seemingly unneeded and non-portable bash redirection."

This commit is contained in:
orbea 2017-12-21 04:03:30 +00:00 committed by GitHub
parent 190374a1f6
commit 712393c796
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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