2023-03-28 20:51:21 +01:00
|
|
|
BOARD=$1
|
|
|
|
|
FIXUP_DIR="$(dirname -- "$(readlink -f "${BASH_SOURCE}")")"
|
|
|
|
|
|
|
|
|
|
MPY_DIR=`pwd`
|
|
|
|
|
|
|
|
|
|
if [[ -f "$FIXUP_DIR/$BOARD/pico_sdk.patch" ]]; then
|
|
|
|
|
echo "Applying pico_sdk.patch"
|
|
|
|
|
cd $MPY_DIR/lib/pico-sdk
|
|
|
|
|
git apply "$FIXUP_DIR/$BOARD/pico_sdk.patch"
|
2023-11-16 13:12:59 +00:00
|
|
|
else
|
|
|
|
|
echo "Skipping patch. $FIXUP_DIR/$BOARD/pico_sdk.patch not found!"
|
2023-03-28 20:51:21 +01:00
|
|
|
fi
|
