diff options
author | Julien Grall <julien.grall@linaro.org> | 2015-02-19 18:27:23 +0000 |
---|---|---|
committer | Julien Grall <julien.grall@linaro.org> | 2015-02-19 18:27:23 +0000 |
commit | 9fbe2b5dbec9b40bece4b0171b61d57b9e0c0e5f (patch) | |
tree | 13585d35adb1dc41f91a7a342ec47fafc9925a29 | |
parent | b3a52542e073c0135eb637946b530e2a6258f8fa (diff) |
Try a job with an old Xen
-rw-r--r-- | jenkins/xen-base | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/jenkins/xen-base b/jenkins/xen-base index 6c92d77..108790c 100644 --- a/jenkins/xen-base +++ b/jenkins/xen-base @@ -30,6 +30,9 @@ set -e rm -rf xen xen-dist git clone -b staging git://xenbits.xen.org/xen.git xen-dist +cd xen-dist +git checkout 0013245 +cd - if ! dpkg -s utopic-crosschroot then |