#!/bin/bash TPL_DIR=/home/jmga/Dev/rgx35xx/tools/trusted-firmware-a UBOOT_DIR=/home/jmga/Dev/rgx35xx/tools/u-boot LINUX_DIR=/home/jmga/Dev/rgx35xx/tools/linux SUNXITOOLS_DIR=/home/jmga/Dev/rgx35xx/tools/sunxi-tools