patch_rust.sh

#!/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