In retrospect there isn't much point in defering coverity until the
tree has been through a full test and it just results in potentially
longer gaps between runs with larger numbers of commits included (for
example the run on Sunday was skipped because master hadn't moved
forward since Wednesday).
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
$TREE_XEN staging-$branchcore $LOCALREV_XEN
;;
xen-unstable-coverity)
- repo_tree_rev_fetch_git xen $TREE_XEN master $LOCALREV_XEN
+ repo_tree_rev_fetch_git xen $TREE_XEN smoked $LOCALREV_XEN
;;
qemu-mainline)
repo_tree_rev_fetch_git $branch \
$TREE_XEN stable-$branchcore $LOCALREV_XEN
;;
xen-unstable-coverity)
- repo_tree_rev_fetch_git xen $TREE_XEN coverity-tested/master $LOCALREV_XEN
+ repo_tree_rev_fetch_git xen $TREE_XEN coverity-tested/smoked $LOCALREV_XEN
;;
qemu-mainline)
repo_tree_rev_fetch_git $branch \
;;
xen-unstable-coverity)
cd $repos/xen
- git push $TREE_XEN $revision:refs/heads/coverity-tested/master
+ git push $TREE_XEN $revision:refs/heads/coverity-tested/smoked
;;
qemu-mainline)
cd $repos/qemu-mainline