mirror of
https://gitlab.com/fdroid/fdroidserver.git
synced 2024-07-05 08:50:08 +02:00
jenkins-build: point to new dir named after the script
This changes out the arbitrary names used before.
This commit is contained in:
parent
55980a45cc
commit
ca62f9c0b8
@ -43,7 +43,7 @@ hostname || true
|
|||||||
|
|
||||||
# point to the Vagrant/VirtualBox configs created by reproducible_setup_fdroid_build_environment.sh
|
# point to the Vagrant/VirtualBox configs created by reproducible_setup_fdroid_build_environment.sh
|
||||||
# these variables are actually set in fdroidserver/jenkins-build-makebuildserver
|
# these variables are actually set in fdroidserver/jenkins-build-makebuildserver
|
||||||
export SETUP_WORKSPACE=$(dirname $WORKSPACE)/fdroid/fdroidserver
|
export SETUP_WORKSPACE=$(dirname $WORKSPACE)/reproducible_setup_fdroid_build_environment/fdroidserver
|
||||||
export XDG_CONFIG_HOME=$SETUP_WORKSPACE
|
export XDG_CONFIG_HOME=$SETUP_WORKSPACE
|
||||||
export VBOX_USER_HOME=$SETUP_WORKSPACE/VirtualBox
|
export VBOX_USER_HOME=$SETUP_WORKSPACE/VirtualBox
|
||||||
export VAGRANT_HOME=$SETUP_WORKSPACE/vagrant.d
|
export VAGRANT_HOME=$SETUP_WORKSPACE/vagrant.d
|
||||||
|
Loading…
Reference in New Issue
Block a user