coverity: Rename branch names to `smoke', not `smoked'

c/s d94637b6 "coverity: run tests on smoked rather than master"
used `smoked' in several places, including as the name of the
input branch (which is already established as `smoke'), and the name
of the coverity-tested branch.

But we call this `smoke', not `smoked'.

After this patch `git-grep smoked' produces no output, as it did in
d94637b6~.

Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>

diff --git a/ap-fetch-version b/ap-fetch-version
index af2feaee2b3e372a487890e1ac7af1e0b01e2d64..f26d60a3da587de81e67cf835d47bb965c436cd1 100755 (executable)
--- a/ap-fetch-version
+++ b/ap-fetch-version
@@ -54,7 +54,7 @@ xen-4.*-testing)
                $TREE_XEN staging-$branchcore $LOCALREV_XEN
        ;;
 xen-unstable-coverity)
-       repo_tree_rev_fetch_git xen $TREE_XEN smoked $LOCALREV_XEN
+       repo_tree_rev_fetch_git xen $TREE_XEN smoke $LOCALREV_XEN
        ;;
 qemu-mainline)
        repo_tree_rev_fetch_git $branch \

diff --git a/ap-fetch-version-old b/ap-fetch-version-old
index 8efd52358249e19be975f7431cf7198c2e1be3df..f7a1e26b3621aa36261c961614ed3eb99a214130 100755 (executable)
--- a/ap-fetch-version-old
+++ b/ap-fetch-version-old
@@ -60,7 +60,7 @@ xen-4.*-testing)
                $TREE_XEN stable-$branchcore $LOCALREV_XEN
        ;;
 xen-unstable-coverity)
-       repo_tree_rev_fetch_git xen $TREE_XEN coverity-tested/smoked $LOCALREV_XEN
+       repo_tree_rev_fetch_git xen $TREE_XEN coverity-tested/smoke $LOCALREV_XEN
        ;;
 qemu-mainline)
         repo_tree_rev_fetch_git $branch \

diff --git a/ap-push b/ap-push
index 2ca419fa432a649ce439067017e7e8289258e942..e33a8039541b260d0afb9a6046493f2a9def676d 100755 (executable)
--- a/ap-push
+++ b/ap-push
@@ -70,7 +70,7 @@ xen-*-testing)
        ;;
 xen-unstable-coverity)
        cd $repos/xen
-       git push $TREE_XEN $revision:refs/heads/coverity-tested/smoked
+       git push $TREE_XEN $revision:refs/heads/coverity-tested/smoke
        ;;
 qemu-mainline)
        cd $repos/qemu-mainline