From 295cd01b804c563d6a1f2457129116c2ce87bf16 Mon Sep 17 00:00:00 2001 From: pancake Date: Mon, 20 Mar 2017 02:09:43 +0100 Subject: [PATCH] Move overlay in cherrypull --- sys/cherrypull.sh | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/sys/cherrypull.sh b/sys/cherrypull.sh index 838764bbac..96a47b3bdf 100755 --- a/sys/cherrypull.sh +++ b/sys/cherrypull.sh @@ -33,3 +33,8 @@ for a in $RC ; do git cherry-pick $a done git branch -D branch + +if [ -d t/overlay ]; then + make -C t apply + git commit -a +fi