diff options
author | Clark Laughlin <clark.laughlin@linaro.org> | 2014-05-30 10:37:55 -0500 |
---|---|---|
committer | Clark Laughlin <clark.laughlin@linaro.org> | 2014-05-30 10:37:55 -0500 |
commit | caf2ac367eb200fe28ef0d55bc1d29c8be0f4efc (patch) | |
tree | dde0fca8ceb0b08f687e46c0baf1053b0c13ffda | |
parent | d097cf25124a1ce65df781f7fc2e1091fe9bc505 (diff) |
misc cleanup
-rwxr-xr-x | jenkinsbuild.sh | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/jenkinsbuild.sh b/jenkinsbuild.sh index 09ba4e2..313f03b 100755 --- a/jenkinsbuild.sh +++ b/jenkinsbuild.sh @@ -12,9 +12,9 @@ libvirt_git_checkout_dir=./libvirt debian_dir=./debian #addl_builddep_package_list=python-dev,xsltproc,w3c-dtd-xhtml -: ${build_arch:?"build_arch must be set"} -: ${build_dist:?"build_dist must be set"} -: ${debian_packaging_source_url:?"debian_packaging_source_url must be set"} +: ${build_arch:?"build_arch must be set (i.e. build_arch=armhf)"} +: ${build_dist:?"build_dist must be set (i.e. build_dist=trusty)"} +: ${debian_packaging_source_url:?"debian_packaging_source_url must be set (i.e. debian_packaging_source_url=http://archive.ubuntu.com/.../libvirt_xxx.debian.tar.gz)"} # # clean up previous build files @@ -65,7 +65,10 @@ sed -i "s/--with-storage-sheepdog/--without-storage-sheepdog/" ${libvirt_git_che cat >> ${libvirt_git_checkout_dir}/debian/rules << EOF makebuilddir/libvirt-bin:: - ./bootstrap --no-git --gnulib-srcdir=.gnulib + if [ ! -f already_bootstrapped ]; then + ./bootstrap --no-git --gnulib-srcdir=.gnulib + touch already_bootstrapped + fi EOF # |