diff options
author | Reiner Herrmann <reiner@reiner-h.de> | 2015-08-03 19:54:50 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-08-03 19:55:33 +0200 |
commit | d57ec0028118b6f4436b4d10530ce1957e4b293e (patch) | |
tree | 72d2deb930c4c687f7bf6ad603156e59b2e2f816 /bin/reproducible_freebsd.sh | |
parent | e41a862c7f97ac5749d4797fc227124ea3f743a1 (diff) | |
download | jenkins.debian.net-d57ec0028118b6f4436b4d10530ce1957e4b293e.tar.xz |
reproducible: clone repositories shallowly to speed it up
Diffstat (limited to 'bin/reproducible_freebsd.sh')
-rwxr-xr-x | bin/reproducible_freebsd.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/bin/reproducible_freebsd.sh b/bin/reproducible_freebsd.sh index 9a445078..a39151a0 100755 --- a/bin/reproducible_freebsd.sh +++ b/bin/reproducible_freebsd.sh @@ -49,8 +49,7 @@ $RSSH freebsd-version 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" +$RSSH git clone --depth 1 --branch $FREEBSD_TARGET https://github.com/freebsd/freebsd.git $TMPBUILDDIR/freebsd FREEBSD=$($RSSH "cd $TMPBUILDDIR/freebsd ; git log -1") FREEBSD_VERSION=$($RSSH "cd $TMPBUILDDIR/freebsd ; git describe --always") echo "This is freebsd $FREEBSD_VERSION." |