#!/bin/sh

set -e

cd linux

git reset --hard

echo "! Repo $(git config remote.origin.url) $(git describe) $(git rev-parse HEAD) ok"

git apply --index < ../shark-ryu-board-patch.patch