diff options
Diffstat (limited to 'bin/rebootstrap.sh')
| -rwxr-xr-x | bin/rebootstrap.sh | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/bin/rebootstrap.sh b/bin/rebootstrap.sh new file mode 100755 index 00000000..1b7ef1ec --- /dev/null +++ b/bin/rebootstrap.sh @@ -0,0 +1,25 @@ +#!/bin/bash + +# Copyright © 2015 Holger Levsen <holger@debian.org> +# released under the GPLv=2 + +DEBUG=true +. /srv/jenkins/bin/common-functions.sh +common_init "$@" + +cleanup_all() { + rm -r $CODE +} + +CODE=$(mktemp --tmpdir=/tmp gitclone-XXXXXXXXX -u) +trap cleanup_all INT TERM EXIT +git clone git://anonscm.debian.org/users/helmutg/rebootstrap.git --depth 1 $CODE +cd $CODE +git checkout $1 +shift +export LC_ALL=C +echo "$(date -u) - Now running '/srv/jenkins/bin/chroot-run.sh sid minimal ./bootstrap.sh $@'" +/srv/jenkins/bin/chroot-run.sh sid minimal ./bootstrap.sh $@ +cd +cleanup_all +trap - INT TERM EXIT |