diff options
| -rwxr-xr-x | bin/reproducible_setup_fdroid_build_environment.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_setup_fdroid_build_environment.sh b/bin/reproducible_setup_fdroid_build_environment.sh index 99550f7d..db944001 100755 --- a/bin/reproducible_setup_fdroid_build_environment.sh +++ b/bin/reproducible_setup_fdroid_build_environment.sh @@ -47,7 +47,7 @@ rm -rf $VAGRANT_HOME cd $WORKSPACE git clone https://gitlab.com/fdroid/fdroidserver.git cd fdroidserver -echo "boot_timeout = 2400" > makebuildserver.config.py +echo "boot_timeout = 1200" > makebuildserver.config.py ./makebuildserver # we are done here, shutdown |