diff options
-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 4f980e31..472835e9 100755 --- a/bin/reproducible_freebsd.sh +++ b/bin/reproducible_freebsd.sh @@ -112,8 +112,7 @@ for FREEBSD_TARGET in ${FREEBSD_TARGETS} ;do echo "=============================================================================" echo "$(date -u) - Cloning FreeBSD git repository." echo "=============================================================================" - # Disable SSL verification as we may be in the future, beyond GitHub's cert exipry. - $RSSH env GIT_SSL_NO_VERIFY=true git clone --depth 1 --branch $FREEBSD_TARGET https://github.com/freebsd/freebsd.git $TMPBUILDDIR + $RSSH git clone --depth 1 --branch $FREEBSD_TARGET https://github.com/freebsd/freebsd.git $TMPBUILDDIR FREEBSD[$FREEBSD_TARGET]=$($RSSH "cd $TMPBUILDDIR ; git log -1") FREEBSD_VERSION[$FREEBSD_TARGET]=$($RSSH "cd $TMPBUILDDIR ; git describe --always") echo "This is FreeBSD branch $FREEBSD_TARGET at ${FREEBSD_VERSION[$FREEBSD_TARGET]}." |