diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_freebsd.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_freebsd.sh b/bin/reproducible_freebsd.sh index f101eeeb..59fc20d2 100755 --- a/bin/reproducible_freebsd.sh +++ b/bin/reproducible_freebsd.sh @@ -92,7 +92,7 @@ declare -A FREEBSD_VERSION declare -A FILES_HTML for FREEBSD_TARGET in ${FREEBSD_TARGETS} ;do set -e - RSSH="ssh -o 'Batchmode = yes' freebsd-jenkins.debian.net" + RSSH="ssh -o Batchmode=yes freebsd-jenkins.debian.net" RSCP="scp -r freebsd-jenkins.debian.net" TMPBUILDDIR=/usr/src $RSSH 'sudo rm -rf /usr/src ; sudo mkdir /usr/src ; sudo chown jenkins /usr/src' ### this is tmpfs on linux, we should move this to tmpfs on FreeBSD too |