mirror of
https://github.com/f-droid/fdroidserver.git
synced 2025-11-11 09:40:28 +03:00
Integrated latest build server stuff (except snapshots)
This commit is contained in:
parent
50eff15950
commit
d9f404ba07
8 changed files with 117 additions and 50 deletions
|
|
@ -3,6 +3,7 @@ set -e
|
|||
rm -f buildserver.box
|
||||
cd buildserver
|
||||
vagrant up
|
||||
sleep 5
|
||||
vagrant ssh -c "sudo shutdown -h now"
|
||||
cd ..
|
||||
# Just to wait until it's shut down!
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue