diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-07-24 12:01:22 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-07-24 12:01:22 +0200 |
commit | 04f5e648adf5e6fba8a19e7502c5d0b418ebfc11 (patch) | |
tree | 7ed6ee1bb7ccf518da6a151117f9595d8c7f8d65 | |
parent | 1989332592be88a976a887f4775f7506b3e75b2f (diff) | |
download | jenkins.debian.net-04f5e648adf5e6fba8a19e7502c5d0b418ebfc11.tar.xz |
reproducible freebsd: build release/10.1.0 to workaround https://reviews.freebsd.org/D2558
-rwxr-xr-x | bin/reproducible_freebsd.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/reproducible_freebsd.sh b/bin/reproducible_freebsd.sh index 46b84263..8f468d4b 100755 --- a/bin/reproducible_freebsd.sh +++ b/bin/reproducible_freebsd.sh @@ -34,6 +34,7 @@ save_freebsd_results(){ # # main # +FREEBSD_TARGET="release/10.1.0" RSSH="ssh freebsd-jenkins.debian.net" TMPBUILDDIR=$($RSSH 'TMPDIR=/srv/workspace/chroots/ mktemp -d -t freebsd') # FIXME: not used to build on tmpfs TMPDIR=$($RSSH 'TMPDIR=/srv/reproducible-results mktemp -d') # used to compare results @@ -46,6 +47,7 @@ echo "========================================================================== echo "$(date -u) - Cloning the freebsd git repository (which is autosynced with their CVS repository)" echo "=============================================================================" $RSSH git clone https://github.com/freebsd/freebsd.git $TMPBUILDDIR/freebsd +$RSSH "cd $TMPBUILDDIR/freebsd ; git checkout $FREEBSD_TARGET" FREEBSD=$($RSSH "cd $TMPBUILDDIR/freebsd ; git log -1") FREEBSD_VERSION=$($RSSH "cd $TMPBUILDDIR/freebsd ; git describe --always") echo "This is freebsd $FREEBSD_VERSION." |