mirror of
https://gitlab.com/fdroid/fdroidserver.git
synced 2024-08-18 20:30:09 +02:00
10 lines
206 B
Plaintext
10 lines
206 B
Plaintext
|
#!/bin/bash -e
|
||
|
|
||
|
test -n "$1"
|
||
|
|
||
|
echo "Writing buildserver ID ...ID is $1"
|
||
|
set -x
|
||
|
echo "$1" > /home/vagrant/buildserverid
|
||
|
# sync data before we halt() the machine, we had an empty buildserverid otherwise
|
||
|
sync
|