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