#!/bin/bash | |
SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" | |
set -o errtrace | |
trap 'echo Fatal error: script $0 aborting at line $LINENO, command \"$BASH_COMMAND\" returned $?; exit 1' ERR | |
arch_list="armv7a aarch64 x86_64 arm" | |
for arch in $(echo ${arch_list}) | |
do | |
echo "patch ${arch} rust tools" | |
pushd ${arch} | |
patch -p1 < ${SCRIPT_DIR}/patches/rust.patch | |
popd | |
done |