diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_freebsd.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/reproducible_freebsd.sh b/bin/reproducible_freebsd.sh index d5a8fd82..ad7c0556 100755 --- a/bin/reproducible_freebsd.sh +++ b/bin/reproducible_freebsd.sh @@ -38,8 +38,8 @@ save_freebsd_results(){ # main # RSSH="ssh freebsd-jenkins.debian.net" -TMPBUILDDIR=$($RSSH mktemp --tmpdir=/srv/workspace/chroots/ -d -t freebsd-XXXXXXXX) # used to build on tmpfs -TMPDIR=$($RSSH mktemp --tmpdir=/srv/reproducible-results -d) # accessable in schroots, used to compare results +TMPBUILDDIR=$($RSSH 'TMPDIR=/srv/workspace/chroots/ mktemp -d -t freebsd-XXXXXXXX') # FIXME: not used to build on tmpfs +TMPDIR=$($RSSH 'TMPDIR=/srv/reproducible-results mktemp -d') # used to compare results DATE=$(date -u +'%Y-%m-%d') START=$(date +'%s') trap cleanup_tmpdirs INT TERM EXIT |