diff options
-rw-r--r-- | jenkins/xen-base | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/jenkins/xen-base b/jenkins/xen-base index 2af4e99..59cf388 100644 --- a/jenkins/xen-base +++ b/jenkins/xen-base @@ -19,10 +19,9 @@ schroot --run-session -c xen -- make -j5 debball dist-xen CROSS_COMPILE=${triple schroot --end-session -c xen -mv dist/install/boot/xen dist/xen-${arch} +mv dist/install/boot/xen ${WORKSPACE}/upload/xen-${arch} # Avoid -rc${foo} in the debian package name -mv dist/xen*.deb dist/xen-${arch}.deb -rm -r dist/install +mv dist/xen*.deb ${WORKSPACE}/upload/xen-${arch}.deb cd .. } @@ -38,6 +37,9 @@ then sudo dpkg -i trusty-crosschroot_0.7.3-2_all.deb fi +rm -rf upload +mkdir upload + #armhf build arch=armhf triplet=arm-linux-gnueabihf @@ -53,7 +55,7 @@ xenarch=arm64 do_build # Generate BUILD-INFO.txt -cat << EOF > ${WORKSPACE}/xen/dist/BUILD-INFO.txt +cat << EOF > ${WORKSPACE}/upload/BUILD-INFO.txt Format-Version: 0.5 Files-Pattern: * |