diff options
| -rwxr-xr-x | bin/reproducible_setup_fdroid_build_environment.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bin/reproducible_setup_fdroid_build_environment.sh b/bin/reproducible_setup_fdroid_build_environment.sh index 67a64b82..218fffa0 100755 --- a/bin/reproducible_setup_fdroid_build_environment.sh +++ b/bin/reproducible_setup_fdroid_build_environment.sh @@ -50,8 +50,13 @@ rm -rf $VAGRANT_HOME cd $WORKSPACE git clone https://gitlab.com/fdroid/fdroidserver.git cd fdroidserver +echo "boot_timeout = 1200" > makebuildserver.config.py ./makebuildserver +# we are done here, shutdown +cd buildserver +vagrant halt + # remove trap trap - INT TERM EXIT echo "$(date -u) - the end." |