# SPDX-License-Identifier: GPL-2.0
# Copyright (C) 2019-present Team LibreELEC (https://libreelec.tv)

[ -n "$ATF_PLATFORM" ] && cp -av $(get_build_dir atf)/bl31.bin .