diff options
| -rw-r--r-- | TODO | 1 | ||||
| -rwxr-xr-x | bin/reproducible_freebsd.sh | 2 |
2 files changed, 2 insertions, 1 deletions
@@ -309,6 +309,7 @@ properties: ** we build with sudo too *** change /usr/obj to be '~jenkins/obj' and build with WITH_INSTALL_AS_USER ? * first build world, later build ports (pkg info...) +* investigate how to use tmpfs on freebsd and build there? ==== reproducible... diff --git a/bin/reproducible_freebsd.sh b/bin/reproducible_freebsd.sh index a39151a0..29318425 100755 --- a/bin/reproducible_freebsd.sh +++ b/bin/reproducible_freebsd.sh @@ -36,7 +36,7 @@ save_freebsd_results(){ # 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 +TMPBUILDDIR=$($RSSH 'TMPDIR=/srv/workspace/chroots/ mktemp -d -t freebsd') # this is tmpfs on linux, we should move this to tmpfs on freebsd too TMPDIR=$($RSSH 'TMPDIR=/srv/reproducible-results mktemp -d') # used to compare results DATE=$(date -u +'%Y-%m-%d') START=$(date +'%s') |