diff options
| author | Hans-Christoph Steiner <hans@eds.org> | 2017-02-15 20:35:07 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2017-02-15 20:43:13 +0100 |
| commit | 369e1be7baef357457ccb74992a4e19574169112 (patch) | |
| tree | d220a26758e50c9ebc2da6821092409de218e2f5 | |
| parent | 12150ef0d51c7e99151eeda92d748c7e3c51bf6f (diff) | |
| download | jenkins.debian.net-369e1be7baef357457ccb74992a4e19574169112.tar.xz | |
reproducible fdroid: `apt install fdroidserver` for depends
Even though we're running fdroidserver from git, installing the Debian
package is an easy way to get the dependencies.
Signed-off-by: Holger Levsen <holger@layer-acht.org>
| -rwxr-xr-x | update_jdn.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/update_jdn.sh b/update_jdn.sh index 813cd7e2..7483a95e 100755 --- a/update_jdn.sh +++ b/update_jdn.sh @@ -346,6 +346,7 @@ if [ -f /etc/debian_version ] ; then case $HOSTNAME in profitbricks-build7-amd64) DEBS="$DEBS android-sdk + fdroidserver libvirt-clients libvirt-daemon libvirt-daemon-system |