set -e
-echo "! Date: $(date +'%F %R:%S') ok"
-
+echo "! Date: $(date +'%F %R:%S %z') ok"
cd linux
git fetch $REPO
git reset --hard FETCH_HEAD
-
-echo "! Repo $REPO $(git describe) $(git rev-parse HEAD) ok"
set -e
cd linux
+
+echo "! Repo $(git config remote.origin.url) $(git describe) $(git rev-parse HEAD) ok"
+
git am < ../shark-ryu-board-patch.patch
all:
run-parts -v --exit-on-error .
+
+v%:
+ cd linux && git checkout $@
+ @echo "! Date: $(shell cd linux && git log -1 --format=%ai) ok"
+ ./11-patch
+ ./20-config
+ ./30-compile
+ ./40-run-tests
+ touch $@