admin-merge: also do a test compile ;)

This commit is contained in:
Rudolf Polzer 2010-04-22 20:38:44 +02:00
parent 43ddbc8816
commit ebd8334087

3
all
View File

@ -460,6 +460,9 @@ case "$cmd" in
done
if [ x"$a" = x"y" ]; then
git merge "$1/$2"
cd "$d0"
"$SELF" compile
cd "$d0/d"
git push origin HEAD
git push "$1" :"$2"
fi